Travelled to:1 × France
1 × Germany
Collaborated with:L.Lengyel T.Levendovszky D.Varró D.Bisztray A.Boronat D.Dang R.Geiß J.Greenyer P.V.Gorp O.Kniemeyer A.Narayanan E.Rencis E.Weinell
Talks about:transform (3) model (2) toward (1) formal (1) verif (1) studi (1) graph (1) autom (1) tool (1) case (1)
Person: Márk Asztalos
DBLP: Asztalos:M=aacute=rk
Contributed to:
2010
2007Wrote 2 papers:
- ICST-2010-AsztalosLL #automation #model transformation #towards #verification
- Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.
- AGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support #uml
- Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.