Verifying Model Transformations by Structural Correspondence.

Anantha Narayanan Gabor Karsai

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2008)

Keyphrases

computational model
statistical model
sensitivity analysis
network model
genetic algorithm
information systems
decision making
evolutionary algorithm
probabilistic model
least squares
em algorithm
mathematical model
prediction model
linear model