Static Analysis and Verification of Aerospace Software by Abstract Interpretation
AIAA Infotech@Aerospace conference; Exhibit 2010 ; 2010 ; Atlanta, Georgia
01.01.2010
2 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Infotech , Astronautics , AIAA , Unmanned , Aerospace
© 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
|