본문

  1. Home
3 Results:SS:FORMALMETHOD 0.46 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
1
Modular Control Plane Verification
Modular Control Plane Verification
Alberdingk Thijm, Timothy Robin. | Princeton University | 2024
Preview
Местоположение
2
High-level Collaborative Task Planning for Heterogeneous Multi-robot Systems
High-level Collaborative Task Planning for Heterogeneous Multi-robot Systems
Fang, Amy. | Cornell University | 2024
Preview
Местоположение
3
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Ni, Haobin. | Cornell University | 2024
Preview
Местоположение
처음1마지막