Automated offline verification of graph rewriting-based model transformations

Advisor	Levendovszky, Tihamér
Advisor	Lengyel, László
Author	Asztalos, Márk
Date accessioned	2015-08-03T10:37:10Z
Date available	2015-08-03T10:37:10Z
Date of issue	2012
URI of identifier	http://hdl.handle.net/10890/1204
Language	en
Publisher	Budapesti Műszaki és Gazdaságtudományi Egyetem
dc.subject	Szoftvermérnöki ismeretek
dc.subject	Modellelmélet
dc.subject	Gráfelmélet
dc.subject	Transzformáció (matematika)
Title	Automated offline verification of graph rewriting-based model transformations	en
Title and subtitle in another language	Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzése	hu
Document type	Ph.D. Thesis
Doctoral School	Informatikai Tudományok Doktori Iskola
Faculty	Villamosmérnöki és Informatikai Kar
Date of defence	2013-03-05
Identifiers [bmeomikk-aleph]	000566812

Informatikai Tudományok Doktori Iskola [179]
Doctoral School in Information Sciences