Inproceedings,

Runtime enforcement of regular timed properties.

, , , and .
SAC, page 1279-1286. ACM, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews