Sign in

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.

Srinivas PinisettyYliès FalconeThierry JéronHervé Marchand
Published in: RV (2015)
Keyphrases
  • software tools
  • execution model
  • case study
  • petri net
  • database
  • data sets
  • neural network
  • information retrieval
  • decision trees
  • bayesian networks
  • search algorithm
  • markov chain
  • first order logic
  • analysis tool