![](/img/cover-not-exists.png)
[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Back-annotation of Simulation Traces with Change-Driven Model Transformations
Hegedus, Abel, Bergmann, Gabor, Rath, Istvan, Varro, DanielYear:
2010
Language:
english
DOI:
10.1109/SEFM.2010.28
File:
PDF, 747 KB
english, 2010