BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Asztalos:M=aacute=rk

Contributed to:

ICST 20102010
AGTIVE 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.