본문

  1. Home
5 Results:SS:FORMALMETHOD PP:CORNELL UNIVERSITY 0.124 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
1
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
Местоположение
2
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Ni, Haobin. | Cornell University | 2024
Preview
Местоположение
3
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
Preview
Местоположение
4
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
Preview
Местоположение
5
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
Preview
Местоположение
처음1마지막