Automated offline verification of graph rewriting-based model transformations

Megtekintés/ Megnyitás
Metaadat
Teljes megjelenítésGyűjtemény
- 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