TY  - RPRT
TI  - Development and implementation of the verification process for the shuttle avionics system
AU  - Smith, H. E.
AU  - Fouts, W. B.
AU  - Mesmer, J.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19850008587
ID  - 19850008587
ER  -