Format:
IX, 343 S.
,
graph. Darst.
ISBN:
3540001999
Series Statement:
Lecture notes in computer science 2549 : State-of-the-art survey
Language:
English
Subjects:
Computer Science
Keywords:
Asynchrones Schaltwerk
;
Entwurfsautomation
;
Eingebettetes System
;
Systementwurf
;
Nebenläufigkeit
;
Petri-Netz
;
Entwurfsautomation
;
Formale Methode
;
Verifikation
;
Leistungsbewertung
;
Aufsatzsammlung
Author information:
Rozenberg, Grzegorz 1942-