Formal Validation of Aerospace Software
Conference, DAta systems in aerospace; Proceedings of DASIA 2013 ; 2013 ; Porto, Portugal
2013-01-01
42 pages
Includes bibliographical references; Held in e-store (RMS)
Conference paper
English
DASIA , DAta systems , Aerospace , ESA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Perspectives on aerospace software validation
Tema Archive | 1972
|British Library Conference Proceedings | 2017
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|