Model based program synthesis and runtime error detection for dependable embedded systems
Metadata
Show full item record
Link to refer to this document:
Collections
- 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