Towards Scalable Verification of Commercial Avionics Software
AIAA Infotech@Aerospace conference; Exhibit 2010 ; 2010 ; Atlanta, Georgia
2010-01-01
8 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Aerospace , Infotech , Unmanned , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Reference Architecture for Commercial Avionics Software
Springer Verlag | 2022
|Online Contents | 2009
`Avionics software - from military standards to commercial standards'
British Library Conference Proceedings | 1996
|Online Contents | 1998