Travelled to:
1 × Brazil
1 × United Kingdom
Collaborated with:
D.Varró H.Ehrig G.Täntzer U.Prange K.Ehrig J.d.Lara
Talks about:
transform (2) termin (2) model (2) criteria (1) analysi (1) petri (1) net (1)
Person: Szilvia Varró-Gyapay
DBLP: Varr=oacute=-Gyapay:Szilvia
Contributed to:
Wrote 2 papers:
- ICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination
- Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
- FASE-2005-EhrigELTVV #model transformation #termination
- Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.