Predictive runtime enforcement
| Title | Predictive runtime enforcement |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand |
| Journal | Formal Methods in System Design |
| Volume | 51 |
| Pagination | 154–199 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1007/s10703-017-0271-1 |
| DOI | 10.1007/s10703-017-0271-1 |
| Citation Key | DBLP:journals/fmsd/PinisettyPTJFM17 |