TY  - RPRT
TI  - Verification of NASA Emergent Systems
AU  - Rouff, Christopher
AU  - Vanderbilt, Amy K. C. S.
AU  - Truszkowski, Walt
AU  - Rash, James
AU  - Hinchey, Mike
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040084383
ID  - 20040084383
ER  -