Login / Signup
Runtime enforcement of regular timed properties by suppressing and delaying events.
Yliès Falcone
Thierry Jéron
Hervé Marchand
Srinivas Pinisetty
Published in:
Sci. Comput. Program. (2016)
Keyphrases
</>
desirable properties
petri net
temporal relationships
event recognition
topological properties
structural properties
event detection
website
access control
database
hidden markov models
database systems
temporal data
computer vision
event sequences
neural network
real time