Formal validation and model generation for domain-specific languages by logic solvers
Metadata
Show full item recordCollections
- Title
- Formal validation and model generation for domain-specific languages by logic solvers
- Title and subtitle in another language
- Szakterület-specifikus modellezési nyelvek formális ellenőrzese logikai következtetőkkel
- Author
- Semeráth, Oszkár
- Date of issue
- 2019
- Date of defence
- 2019-06-17
- Advisor
- Varró, Dániel
- Language
- en
- Identifiers
- BME OMIKK katalógus-azonosító: 000655737
- 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