UID:
kobvindex_ZLB13571294
Format:
XII, 426 Seiten
,
graph. Darst.
,
24 cm
ISBN:
354020363X
Series Statement:
Lecture notes in computer science 2860
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Hardwareentwurf
;
Formale Methode
;
Kongress
;
L'Aquila 〈2003〉
;
Hardwareverifikation
;
Formale Methode
;
Kongress
;
L'Aquila 〈2003〉
;
Model Checking
;
Kongress
;
L'Aquila 〈2003〉
;
System-on-Chip
;
Entwurfsautomation
;
Formale Methode
;
Kongress
;
L'Aquila 〈2003〉
;
Entwurfssprache
;
Kongress
;
L'Aquila 〈2003〉
;
Kongress
;
Konferenzschrift