• NASA is sponsoring a multiple-area multi-year program for verification and validation of flight critical systems. • Objective — Provide advanced analytical, architectural, and testing capabilities to enable sound assurance of safety-critical properties
Verification and validation of flight critical systems (VVFCS)
2012-10-01
1555311 byte
Conference paper
Electronic Resource
English
Verification and Validation of Flight-Critical Systems
NTRS | 2010
|Run-Time Verification and Validation for Safety-Critical Flight Control Systems
British Library Conference Proceedings | 2008
|