Login / Signup

Runtime enforcement of timed properties revisited.

Srinivas PinisettyYliès FalconeThierry JéronHervé MarchandAntoine RolletOmer 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