TY  - RPRT
TI  - Dynamic assertion testing of flight control software
AU  - Andrews, D. M.
AU  - Mahmood, A.
AU  - Mccluskey, E. J.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19860013850
ID  - 19860013850
ER  -