Show simple item record

Levendovszky, Tihamér
Lengyel, László
Asztalos, Márk
2015-08-03T10:37:10Z
2015-08-03T10:37:10Z
2012
http://hdl.handle.net/10890/1204
en
Budapesti Műszaki és Gazdaságtudományi Egyetem
dc.subjectSzoftvermérnöki ismeretek
dc.subjectModellelmélet
dc.subjectGráfelmélet
dc.subjectTranszformáció (matematika)
Automated offline verification of graph rewriting-based model transformationsen
Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzésehu
Ph.D. Thesis
Informatikai Tudományok Doktori Iskola
Villamosmérnöki és Informatikai Kar
2013-03-05
000566812


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record