PDF:
Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers
| Cím | Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers |
| Közlemény típusa | Thesis |
| Kiadás éve | 2019 |
| Szerzők | Semeráth, O. |
| Konzulens | Varró, D. |
| Egyetemi tanszék | Department of Measurement and Information Systems |
| Fokozat | PhD |
| Oldalak száma | 186 |
| Kiadás dátuma | 03/2019 |
| Egyetem | Budapest University of Technology and Economics |
| Város | Budapest |
| Refereed Designation | Refereed |
