Model based program synthesis and runtime error detection for dependable embedded systems
| Majzik, István | ||
| Pintér, Gergely | ||
| 2015-08-03T10:31:24Z | ||
| 2015-08-03T10:31:24Z | ||
| 2007 | ||
| http://hdl.handle.net/10890/636 | ||
| en | ||
| Budapesti Műszaki és Gazdaságtudományi Egyetem | ||
| Programnyelv | ||
| Modellelmélet | ||
| Hibakeresés | ||
| Programellenőrzés | ||
| Valós idejű rendszer | ||
| Model based program synthesis and runtime error detection for dependable embedded systems | en | |
| Modell alapú program szintézis és futási idejű ellenőrzés szolgáltatásbiztos beágyazott rendszerekhez | hu | |
| Ph.D. Thesis | ||
| 2008-02-18 | ||
| Informatikai Tudományok Doktori Iskola | ||
| Villamosmérnöki és Informatikai Kar | ||
| 000486288 |
Files
Original bundle
1 - 3 of 3
Loading...
- Name:
- ertekezes.pdf
- Size:
- 15.98 MB
- Format:
- Adobe Portable Document Format
- Description:
- Értekezés
Loading...
- Name:
- tezis_hun.pdf
- Size:
- 616.59 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (magyar)
Loading...
- Name:
- tezis_eng.pdf
- Size:
- 439.42 KB
- Format:
- Adobe Portable Document Format
- Description:
- Tézisfüzet (angol)