TY  - RPRT
TI  - Distributed Avionics and Software Verification for the Constellation Program
AU  - Hood, Laura E.
AU  - Adams, James E.
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20080015912
ID  - 20080015912
ER  -