Sign in
Runtime enforcement of timed properties revisited.
Srinivas Pinisetty
Yliès Falcone
Thierry Jéron
Hervé Marchand
Antoine Rollet
Omer Nguena-Timo
Published in:
Formal Methods Syst. Des. (2014)
Keyphrases
</>
preprocessing
access control
database
data sets
bayesian networks
wide range
data structure
information technology
markov chain
petri net