Towards Formal Analysis of Multi-paradigm Model Transformations.

Márk Asztalos István Madari László Lengyel

Published in: Simul. (2010)

Keyphrases

formal analysis
probabilistic model
theoretical analysis
high level
cost function
mathematical model
agent model
neural network
prior knowledge
similarity measure
probability distribution
building blocks
experimental data