Development and Verification of Software for Flight Safety Critical Systems
52nd Symposium, Software for guidance and control ; 1991 ; Helexpo; Greece
01.01.1991
25/1-25/4
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Development and verification of software for flight safety critical systems
Tema Archiv | 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
|