Automated offline verification of graph rewriting-based model transformations

Cím és alcím: Automated offline verification of graph rewriting-based model transformations
Cím és alcím más nyelven: Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzése
Szerző: Asztalos, Márk
Megjelenés ideje: 2012
Védés dátuma: 2013-03-05
Témavezető: Levendovszky, Tihamér; Lengyel, László
Kiadó: Budapesti Műszaki és Gazdaságtudományi Egyetem
Nyelv: en
Egyéb azonosítók: BME OMIKK katalógus-azonosító: 000566812
Dokumentumtípus: Ph.D. Thesis
Kar: Villamosmérnöki és Informatikai Kar
Doktori iskola: Informatikai Tudományok Doktori Iskola