Media type: Book; Thesis Title: A formal framework for modelling component extension and layers in distributed embedded systems Contributor: Förster, Stefan [Author] Published: Dresden: TUDpress, 2007 Published in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 3 Extent: VI, 223 S; graph. Darst; 21 cm Language: English ISBN: 3940046221; 9783940046222 RVK notation: ST 153 : Embedded Systems Keywords: Eingebettetes System > CASHE > Teilsystem > Framework > Formale Spezifikationstechnik > Pi-Kalkül Eingebettetes System > Informatik > Pi-Kalkül > Technische Informatik Origination: University thesis: Zugl.: Chemnitz, Techn. Univ., Diss., 2006 Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 153 F654 Item ID: 31786746 Status: To be used in the library, no dispatch by interlibrary loan; delivery of photocopies possible