toolset

  1. Home
  2. search page
  3. keyword

toolset

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

핵심 연구 분야Software Development
주요 연도2024년
주요 연관 키워드engineering
좋아요 수0

키워드별 논문 목록 (4건)

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
저자: Paolo Arcaini , Silvia Bonfanti , Angelo Gargantini , Elvinia Riccobene , Patrizia Scandurra
키워드: #engineering #modeling #automotive #verification #toolset
파트: Verification | 연도: 2024
Safety Invariant Engineering for Interlocking Verification
저자: Alexei Iliasov , Dominic Taylor , Linas Laibinis , Alexander Romanovsky
키워드: #engineering #industrial #mathematical #engineers #toolset
파트: Analysis | 연도: 2024
Performance costs for IPv6-based mobility management on the top of Kubernetes
저자: Ákos Leiter , Pál Böősy , Milán Kis , László Bokor
키워드: #automation #mobile #networking #microservice #toolset
파트: Software Development | 연도: 2023
Testing and optimization of Recurrent Signal Processor
저자: Yury Stepchenkov , Dmitry Khilko , Yury Shikunov , Georgy Orlov
키워드: #research #computational #optimization #software #toolset
파트: Software Development | 연도: 2020