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