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

Cím és alcím: Model based program synthesis and runtime error detection for dependable embedded systems
Cím és alcím más nyelven: Modell alapú program szintézis és futási idejű ellenőrzés szolgáltatásbiztos beágyazott rendszerekhez
Szerző: Pintér, Gergely
Megjelenés ideje: 2007
Védés dátuma: 2008-02-18
Témavezető: Majzik, István
Kiadó: Budapesti Műszaki és Gazdaságtudományi Egyetem
Nyelv: en
Egyéb azonosítók: BME OMIKK katalógus-azonosító: 000486288
Dokumentumtípus: Ph.D. Thesis
Kar: Villamosmérnöki és Informatikai Kar
Doktori iskola: Informatikai Tudományok Doktori Iskola