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)