Metamodel-based model generation and validation techniques with applications

Cím és alcím: Metamodel-based model generation and validation techniques with applications
Cím és alcím más nyelven: Metamodell-alapú modellgenerálási és –validálási technikák és alkalmazásaik
Szerző: Szatmári, Zoltán
Megjelenés ideje: 2016
Védés dátuma: 2017-06-12
Témavezető: Majzik, István
Nyelv: en
Tárgyszó: Szoftver; Verifikáció; Modellelmélet
Egyéb azonosítók: BME OMIKK katalógus-azonosító: 000605312
Dokumentumtípus: Disszertáció
Műfaj: Ph.D. Thesis
Egyetem: Budapesti Műszaki és Gazdaságtudományi Egyetem
Kar: Villamosmérnöki és Informatikai Kar
Doktori iskola: Informatikai Tudományok Doktori Iskola