UID:
kobvindex_ZLB15625341
Format:
XX, 258 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783832532468
,
3832532463
Note:
Zugl.: Augsburg, Univ., Diss., 2012
Language:
German
Keywords:
Sicherheitskritisches System
;
Selbst organisierendes System
;
Organic Computing
;
Spezifikationstechnik
;
Verifikation
;
Formale Methode
;
Rekonfiguration
;
Constraint-Erfüllung
;
Hochschulschrift
Author information:
Nafz, Florian
Bookmarklink