Format:
1 Online-Ressource
ISBN:
9783642053559
,
9783642053566
Series Statement:
eXamen-press
Language:
German
Subjects:
Computer Science
Keywords:
Eingebettetes System
;
Digitales System
;
Formale Spezifikationstechnik
;
Verifikation
;
SystemC
;
CASHE
DOI:
10.1007/978-3-642-05356-6
Author information:
Haubelt, Christian 1972-
Author information:
Teich, Jürgen 1964-
Bookmarklink