Metamodel-based model generation and validation techniques with applications
Metadata
Show full item recordCollections
- Title
- Metamodel-based model generation and validation techniques with applications
- Title and subtitle in another language
- Metamodell-alapú modellgenerálási és –validálási technikák és alkalmazásaik
- Author
- Szatmári, Zoltán
- Date of issue
- 2016
- Date of defence
- 2017-06-12
- Advisor
- Majzik, István
- Language
- en
- Subject
- Szoftver, Verifikáció, Modellelmélet
- Identifiers
- BME OMIKK katalógus-azonosító: 000605312
- Document type
- Disszertáció
- Document genre
- Ph.D. Thesis
- University
- Budapesti Műszaki és Gazdaságtudományi Egyetem
- Faculty
- Villamosmérnöki és Informatikai Kar
- Doctoral school
- Informatikai Tudományok Doktori Iskola