TY  - RPRT
TI  - Verification and Validation of Flight-Critical Systems
AU  - Brat, Guillaume
PY  - 2010
UR  - https://ntrs.nasa.gov/citations/20100018533
ID  - 20100018533
ER  -