Sign in

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

Ábel HegedüsGábor BergmannIstván RáthDá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