F | |
---|---|
[FJM+16] | Yliès Falcone, Thierry Jéron, Hervé Marchand, and Srinivas Pinisetty. Runtime enforcement of regular timed properties by suppressing and delaying events. Science of Computer Programming 123:2-41. Elsevier, July 2016. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1