Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers

CímFormal Validation and Model Generation for Domain-Specific Languages by Logic Solvers
Közlemény típusaThesis
Kiadás éve2019
SzerzőkSemeráth, O.
KonzulensVarró, D.
Egyetemi tanszékDepartment of Measurement and Information Systems
FokozatPhD
Oldalak száma186
Kiadás dátuma03/2019
EgyetemBudapest University of Technology and Economics
VárosBudapest
Refereed DesignationRefereed
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció