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.

Model based program synthesis and runtime error detection for dependable embedded systems

Thumbnail
View/Open
Értekezés (15.98Mb)
Tézisfüzet (magyar) (616.5Kb)
Tézisfüzet (angol) (439.4Kb)
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/636
Collections
  • Informatikai Tudományok Doktori Iskola [210]
Title
Model based program synthesis and runtime error detection for dependable embedded systems
Title and subtitle in another language
Modell alapú program szintézis és futási idejű ellenőrzés szolgáltatásbiztos beágyazott rendszerekhez
Author
Pintér, Gergely
Date of issue
2007
Date of defence
2008-02-18
Advisor
Majzik, István
Publisher
Budapesti Műszaki és Gazdaságtudományi Egyetem
Language
en
Identifiers
BME OMIKK katalógus-azonosító: 000486288
Document type
Ph.D. Thesis
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