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

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Merkliste Schließen

Merkliste

Published: Dresden: TUDpress, 2007
Published in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 4
Extent: VI, 138 S; graph. Darst; 21 cm
Language: English
ISBN: 3940046256; 9783940046253
RVK notation: ST 153
Keywords: Eingebettetes System > Mehrprozessorsystem > Fehlermodell > Pi-Kalkül > Model Checking > Bisimulation
Eingebettetes System > Fehlertoleranz > Informatik > Pi-Kalkül > Prozessalgebra > Systemmodell > Technische Informatik
Origination:
University thesis: Zugl.: Chemnitz, Techn. Univ., Diss., 2006
Footnote: Zugl.: Chemnitz, Techn. Univ., Diss

0 copy copies

of which 0 immediately available

of which 0 available for order

of which 0 not available

(0)

Shelf-mark: ST 153 F529

Item ID: 31786745

Status: To be used in the library, no dispatch by interlibrary loan; delivery of photocopies possible