TY  - RPRT
TI  - Challenges in High-Assurance Runtime Verification
AU  - Goodloe, Alwyn E.
PY  - 2016
UR  - https://ntrs.nasa.gov/citations/20160012454
ID  - 20160012454
ER  -