A Technique for Automatic Validation of Model Transformations.

Levi Lucio Bruno Barroca Vasco Amaral

Published in: MoDELS (1) (2010)

Keyphrases

probabilistic model
computational model
experimental data
semi automatic
high level
neural network model
statistical model
parameter values
real time
formal model
sensitivity analysis
conceptual model
closed form
fully automatic
theoretical framework
artificial neural networks
bayesian networks
search engine