Development and Verification of Software for Flight Safety Critical Systems
52nd Symposium, Software for guidance and control ; 1991 ; Helexpo; Greece
1991-01-01
25/1-25/4
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Development and verification of software for flight safety critical systems
Tema Archive | 1991
|Formal Verification of Flight Critical Software
AIAA | 2005
|Verification of Flight Critical Systems
SAE Technical Papers | 1990
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2006
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2000
|