TY  - RPRT
TI  - Model-Based Verification and Validation of the SMAP Uplink Processes
AU  - Khan, M. Omair
AU  - Dubos, Gregory F.
AU  - Tirona, Joseph
AU  - Standley, Shaun
PY  - 2013
UR  - https://ntrs.nasa.gov/citations/20150007850
ID  - 20150007850
ER  -