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

Srinivas Pinisetty Yliès Falcone Thierry Jéron Hervé 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