Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification
AIAA Infotech@Aerospace 2007 Conference and Exhibit
2007-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 2007
|Program verification and embedded aerospace software
AIAA | 1981
|