Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 3. Disszertációk (BME)
  • Informatikai Tudományok Doktori Iskola
  • View Item
  •   DSpace Home
  • 3. Disszertációk (BME)
  • Informatikai Tudományok Doktori Iskola
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
Értekezés (10.23Mb)
Tézisfüzet (magyar) (1.056Mb)
Tézisfüzet (angol) (1016.Kb)
Metadata
Show full item record
URI
http://hdl.handle.net/10890/13134
Collections
  • Informatikai Tudományok Doktori Iskola [180]
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

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV