Risk Assessment of Flight Critical Software
NATO Advanced Study Institute, Verification and validation of complex and integrated human-machine systems ; 1992 ; Viermo; Portugal
1993-01-01
8 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
AIAA | 2003
|British Library Conference Proceedings | 2003
|Managing flight software cost risk
NTRS | 2003
|Formal Verification of Flight Critical Software
AIAA | 2005
|