Runtime enforcement of regular timed properties.

Srinivas Pinisetty Yliès Falcone Thierry Jéron Hervé Marchand

Published in: SAC (2014)

Keyphrases

desirable properties
neural network
access control
databases
information systems
preprocessing
discrete event
image processing
wide range
relational databases
special case