Bridging Technological Spaces for the Verification of Model Transformations.

Daniel Calegari Nora Szasz

Published in: CIbSE (2013)

Keyphrases

statistical model
mathematical model
prior knowledge
probabilistic model
management system
machine learning
similarity measure
computational model
sensitivity analysis
network model
agent model