Browsing 1. Tudományos közlemények, publikációk by Author "Vajk, Tamás"
Now showing items 1-2 of 2
-
Automated Formal Verification of Graph Rewriting-Based Model Transformations
Asztalos, Márk; Ekler, Péter; Lengyel, László; Levendovszky, Tihamér; Madari, István; Vajk, Tamás (2010) -
Formal Analysis of Incremental Code Generation in OCL Compilers
Vajk, Tamás; Asztalos, Márk; Mezei, Gergely (2010)