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

Megtekintés/Megnyitás

Értekezés (15.98MB)

Tézisfüzet (magyar) (616.5KB)

Tézisfüzet (angol) (439.4KB)

Dátum

2007

Szerző

Pintér, Gergely

Metadata

Teljes megjelenítés

URI

http://hdl.handle.net/10890/636

Collections

Informatikai Tudományok Doktori Iskola [141]