The presentation is intended to give an overview of the verification efforts in the Safety-Critical Avionics Systems Branch at the NASA Langley Research Center. Mainly targeted at students that are interested in internships in our group.
Research in the Verification of Flight-Critical Systems
Penn Precise Seminar ; 2012 ; Philadelphia, PA, US
Sonstige
Keine Angabe
Englisch
Verification of Flight Critical Systems
SAE Technical Papers | 1990
|Verification and Validation of Flight-Critical Systems
NTRS | 2010
|