C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime Enforcement of Timed Properties.
Srinivas Pinisetty
Yliès Falcone
Thierry Jéron
Hervé Marchand
Antoine Rollet
Omer Landry Nguena-Timo
Published in:
RV (2012)
Keyphrases
</>
petri net
structural properties
desirable properties
databases
neural network
artificial intelligence
information systems
bayesian networks
evolutionary algorithm
real world
machine learning
image processing
multiscale
video sequences