TY  - RPRT
TI  - Verifying Correct Functionality of Avionics Subsystems
AU  - Meuer, Ben t.
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20060010251
ID  - 20060010251
ER  -