A formal fault model for component-based models of embedded systems

Medientyp: Buch; Hochschulschrift
Titel: A formal fault model for component-based models of embedded systems
Beteiligte: Fischer, Marco [Verfasser:in]
Erschienen: Dresden: TUDpress, 2007
Erschienen in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 4
Umfang: VI, 138 S; graph. Darst; 21 cm
Sprache: Englisch
ISBN: 3940046256; 9783940046253
RVK-Notation: ST 153 : Embedded Systems
Schlagwörter: Eingebettetes System > Mehrprozessorsystem > Fehlermodell > Pi-Kalkül > Model Checking > Bisimulation
Eingebettetes System > Fehlertoleranz > Informatik > Pi-Kalkül > Prozessalgebra > Systemmodell > Technische Informatik
Entstehung:
Hochschulschrift: Zugl.: Chemnitz, Techn. Univ., Diss., 2006
Anmerkungen: Zugl.: Chemnitz, Techn. Univ., Diss
Weitere Bestandsnachweise
0 : Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme

Merkliste