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

Zugl.: Chemnitz, Techn. Univ., Diss., 2006

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Fischer, Marco (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dresden TUDpress 2007
Schriftenreihe:	Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme 4
Schlagworte:	Embedded computer systems > Testing > Fault-tolerant computing > Hochschulschrift > Eingebettetes System > Mehrprozessorsystem > Fehlermodell > Pi-Kalkül > Model Checking > Bisimulation > Fehlertoleranz > Informatik > Prozessalgebra > Systemmodell > Technische Informatik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Zugl.: Chemnitz, Techn. Univ., Diss., 2006
Beschreibung:	Zugl.: Chemnitz, Techn. Univ., Diss.
Beschreibung:	VI, 138 S graph. Darst 21 cm
ISBN:	3940046256 3-940046-25-6 9783940046253 978-3-940046-25-3