Automated Trace Analysis of Discrete-Event System Models.

Peter Kemper Carsten Tepper

Published in: IEEE Trans. Software Eng. (2009)

Keyphrases

discrete event
probabilistic model
dynamic systems
mathematical modeling
image analysis
automated analysis
model selection
databases
decision trees
bayesian networks
multi agent
search algorithm
statistical analysis
empirical data