SEFM 2010 conference in Pisa

Ábel Hegedüs, PhD student, presented research results of the group at the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) conference in Pisa (Italy) between September 13 and 16. 2010. The presented paper deals with back-annotation of simulation traces using model transformation techniques. Apart from the talk, the group was represented with a poster and a tool demo as well.