Static Analysis and Verification of Aerospace Software by Abstract Interpretation
AIAA Infotech@Aerospace 2010
2010-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
British Library Conference Proceedings | 2010
|British Library Conference Proceedings | 2000
|Program verification and embedded aerospace software
AIAA | 1981
|Space Software Validation Using Abstract Interpretation
British Library Conference Proceedings | 2009
|Adopting Model-Based Software Design and Verification for Aerospace Systems
British Library Conference Proceedings | 2017
|