TY  - RPRT
TI  - Concurrent Runtime Verification of Data Rich Events
AU  - Nastaran Shafiei
AU  - Klaus Havelund
AU  - Peter Mehlitz
PY  - 2021
UR  - https://ntrs.nasa.gov/citations/20210016395
ID  - 20210016395
ER  -