A formal framework for modelling component extension and layers in distributed embedded systems

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Merkliste Schließen

Merkliste

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
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:

0 copy copies

of which 0 immediately available

of which 0 available for order

of which 0 not available

(0)

Shelf-mark: ST 153 F654

Item ID: 31786746

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