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
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
|Run-Time Verification and Validation for Safety-Critical Flight Control Systems
British Library Conference Proceedings | 2008
|