Predictive runtime verification of timed properties
| Title | Predictive runtime verification of timed properties |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa |
| Journal | Journal of Systems and Software |
| Volume | 132 |
| Pagination | 353–365 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1016/j.jss.2017.06.060 |
| DOI | 10.1016/j.jss.2017.06.060 |
| Citation Key | DBLP:journals/jss/PinisettyJTFMP17 |