Jump to : Download | Contact | BibTex reference | EndNote reference |


Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand. Predictive runtime enforcement. Formal Methods in System Design, 51(1):154-199, August 2017.

Download [help]

Download paper: Doi page

Download Hal paper: Hal : Hyper Archive en ligne


Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

   Author = {Pinisetty, Srinivas and Preoteasa, Viorel and Tripakis, Stavros and Jéron, Thierry and Falcone, Yliès and Marchand, Hervé},
   Title = {{Predictive runtime enforcement}},
   Journal = {{Formal Methods in System Design}},
   Volume = {51},
   Number = {1},
   Pages = {154--199},
   Publisher = {{Springer Verlag}},
   Month = {August},
   Year = {2017}

EndNote Reference [help]

Get EndNote Reference (.ref)