Login / Signup
Automated model analysis tools and techniques presented at FASE 2019.
Reiner Hähnle
Wil M. P. van der Aalst
Published in:
Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
</>
high level
mathematical model
computational model
database
experimental data
objective function
data analysis
prior knowledge
theoretical analysis
autoregressive
statistical model
theoretical framework
probabilistic model
evolutionary algorithm
multi agent
learning algorithm
neural network