Program verification and embedded aerospace software
3rd Computers in Aerospace Conference ; 1981 ; San Diego , CA , U.S.A.
01.01.1981
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
|