Formal validation and model generation for domain-specific languages by logic solvers

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