Login / Signup
On the benefits of using dedicated models in validation processes for behavioral specifications.
Marian Daun
Jennifer Brings
Lisa Krajinski
Thorsten Weyer
Published in:
ICSSP (2019)
Keyphrases
</>
computational models
complex systems
probabilistic model
data sets
high level
petri net
stochastic processes
model validation
case study
bayesian networks
parameter estimation
machine learning algorithms
process model
statistical models
finite state machines
reasoning processes