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

Link to refer to this document:

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