![](/img/cover-not-exists.png)
Runtime enforcement of timed properties revisited
Pinisetty, Srinivas, Falcone, Yliès, Jéron, Thierry, Marchand, Hervé, Rollet, Antoine, Nguena Timo, OmerVolume:
45
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-014-0215-y
Date:
December, 2014
File:
PDF, 809 KB
english, 2014