Runtime Verification of Traces Under Recording Uncertainty
| Title | Runtime Verification of Traces Under Recording Uncertainty |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Wang, Shaohui, Ayoub, Anaheed, Sokolsky, Oleg, Lee, Insup |
| Conference Name | Proceedings of the Second International Conference on Runtime Verification (RV'11) |
| Keywords | 1035715 |
| DOI | 10.1007/978-3-642-29860-8_35 |
| Citation Key | Wang:2011:RVT:2341616.2341663 |