Format:
Online-Ressource
Series Statement:
Lecture notes in computer science 2549
Note:
Lizenzpflichtig
Language:
English
Subjects:
Computer Science
Keywords:
Asynchrones Schaltwerk
;
Entwurfsautomation
;
Eingebettetes System
;
Systementwurf
;
Nebenläufigkeit
;
Petri-Netz
;
Entwurfsautomation
;
Formale Methode
;
Verifikation
;
Leistungsbewertung
;
Aufsatzsammlung
;
Aufsatzsammlung
URL:
https://doi.org/10.1007/3-540-36190-1
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink