TY  - RPRT
TI  - Modeling in the State Flow Environment to Support Launch Vehicle Verification Testing for Mission and Fault Management Algorithms in the NASA Space Launch System
AU  - Trevino, Luis
AU  - Berg, Peter
AU  - England, Dwight
AU  - Johnson, Stephen B.
PY  - 2016
UR  - https://ntrs.nasa.gov/citations/20160012106
ID  - 20160012106
ER  -