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!

Keine Ergebnisse!