Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking.

Holger Giese Leen Lambers

Published in: ICGT (2012)

Keyphrases

computational model
probabilistic model
decision trees
objective function
probability distribution
mathematical model
real time
data sets
decision making
case study
experimental data
hierarchical structure
neural network model
simulation model
agent model