| 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.subject | Szoftvermérnöki ismeretek | |
dc.subject | Modellelmélet | |
dc.subject | Gráfelmélet | |
dc.subject | Transzformáció (matematika) | |
| Automated offline verification of graph rewriting-based model transformations | en |
| Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzése | hu |
| Ph.D. Thesis | |
| Informatikai Tudományok Doktori Iskola | |
| Villamosmérnöki és Informatikai Kar | |
| 2013-03-05 | |
| 000566812 | |