Provably Correct Software: Don't Leave Earth Without It
AIAA SCITECH 2023 Forum
2023-01-01
Conference paper
Electronic Resource
English
EVA - Don't Leave Earth Without It
NTRS | 2011
|EVA - Don't Leave Earth Without It
AIAA | 2011
|EVA - Don't Leave Earth Without It
British Library Conference Proceedings | 2011
|Provably-Correct and Comfortable Adaptive Cruise Control
IEEE | 2021
|Provably correct reactive control from natural language
British Library Online Contents | 2015
|