Model based program synthesis and runtime error detection for dependable embedded systems
Date
Authors
Advisor
Type
Ph.D. Thesis
Publisher
Budapesti Műszaki és Gazdaságtudományi Egyetem
Alternative
Modell alapú program szintézis és futási idejű ellenőrzés szolgáltatásbiztos beágyazott rendszerekhez
Date Defence
2008-02-18
Doctoral School
Informatikai Tudományok Doktori Iskola
Faculty
Villamosmérnöki és Informatikai Kar
- Cite this item
- http://hdl.handle.net/10890/636
OOC works
Abstract
Description
Keywords
Programnyelv, Modellelmélet, Hibakeresés, Programellenőrzés, Valós idejű rendszer