Static Analysis and Verification of Aerospace Software by Abstract Interpretation
AIAA Infotech@Aerospace conference; Exhibit 2010 ; 2010 ; Atlanta, Georgia
2010-01-01
2 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Unmanned , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
|