Program verification and embedded aerospace software
3rd Computers in Aerospace Conference ; 1981 ; San Diego , CA , U.S.A.
1981-01-01
Conference paper
Electronic Resource
English
A Hierarchical Fault Detection Method for Aerospace Embedded Software
Springer Verlag | 2021
|Static Analysis and Verification of Aerospace Software by Abstract Interpretation
British Library Conference Proceedings | 2010
|Adopting Model-Based Software Design and Verification for Aerospace Systems
British Library Conference Proceedings | 2017
|Adopting Model-Based Software Design and Verification for Aerospace Systems
SAE Technical Papers | 2017
|