SEFM 2010 konferencia Pisaban

A 2010. szeptember 13. és 16. között Pisaban (Olaszország) megrendezett  8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) konferencián a csoport kutatási eredményeivel szerepelt Hegedüs Ábel doktorandusz, aki a szimulációs utak modelltranszformáció alapú visszavetítésének kihívásait vizsgálta. A prezentáció mellett poszterrel és eszköz demonstrációval is részt vett a csoport a konferencián.