Media type: Book; Thesis Title: A formal fault model for component-based models of embedded systems Contributor: Fischer, Marco [Author] 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 : Embedded Systems 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
Departmental Library DrePunct – open access area Shelf-mark: ST 153 F529 Item ID: 31786745 Status: To be used in the library, no dispatch by interlibrary loan; delivery of photocopies possible