Predictive runtime enforcement
Title | Predictive runtime enforcement |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand |
Conference Name | Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016 |
Keywords | 1329759 |
URL | http://doi.acm.org/10.1145/2851613.2851827 |
DOI | 10.1145/2851613.2851827 |
Citation Key | DBLP:conf/sac/PinisettyPTJFM16 |