Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification
AIAA Infotech@Aerospace 2007 Conference and Exhibit
2007-01-01
Conference paper
Electronic Resource
English
British Library Conference Proceedings | 2007
|Program verification and embedded aerospace software
AIAA | 1981
|