Format:
X, 254 S.
,
Ill., graph. Darst.
Note:
Cottbus, Techn. Univ., Diss., 2002
Additional Edition:
Erscheint auch als Online-Ausgabe urn:nbn:de:kobv:co1-000000258
Language:
German
Subjects:
Computer Science
Keywords:
Verteiltes System
;
Verifikation
;
Reaktives System
;
Zeitbehafteter Automat
;
Modularität
;
Formale Methode
;
Binäres Entscheidungsdiagramm
;
Zustandsgraph
;
Hochschulschrift
URL:
Volltext
(kostenfrei)
URL:
Volltext
(kostenfrei)
URL:
Volltext
(kostenfrei)
Author information:
Beyer, Dirk 1972-
Bookmarklink