Travelled to:1 × Italy
1 × USA
Collaborated with:D.Varró A.Rensink
Talks about:model (3) check (3) comparison (1) transform (1) approach (1) languag (1) visual (1) graph (1) tool (1) vml (1)
Person: Ákos Schmidt
DBLP: Schmidt:=Aacute=kos
Contributed to:
2004
2003Wrote 2 papers:
- ICGT-2004-RensinkSV #comparison #graph transformation #model checking
- Model Checking Graph Transformations: A Comparison of Two Approaches (AR, ÁS, DV), pp. 226–241.
- UML-2003-SchmidtV #model checking #modelling #named #visual notation
- CheckVML: A Tool for Model Checking Visual Modeling Languages (ÁS, DV), pp. 92–95.