Back-annotation of Simulation Traces with Change-Driven Model Transformations.

Ábel Hegedüs Gábor Bergmann István Ráth Dániel Varró

Published in: SEFM (2010)

Keyphrases

computational model
mathematical model
simulation model
formal model
probabilistic model
analytical model
statistical model
simulation models
prior knowledge
model checking
semantic annotation