A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems

A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems

Der vorliegende Band der wissenschaftlichen Schriftenreihe Eingebettete Selbstorganisierende Systeme widmet sich dem Entwurf von verteilten Eingebetteten Systemen. Einsatzgebiete solcher Systeme sind unter anderem Missions- und Steuerungssysteme von Flugzeugen (Aerospace-Anwendungen) und , mit zun...

Full description

Bibliographic Details
Main Author: Förster, Stefan
Other Authors: TU Chemnitz, Fakultät für Informatik
Format: Doctoral Thesis
Language:English
Published: Universitätsbibliothek Chemnitz 2007
Subjects:
Komponentenerweiterung
Komponentenmodellierung
Spezifikation von Schichten
component extension
computer engineering
computer science
distributed embedded systems
embedded systems
modelling of components
pi-calculus
specification of layers
verteilte eingebettete Systeme
ddc:004
Eingebettetes System
Informatik
Pi-Kalkül
Technische Informatik
Online Access:http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700638
http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700638
http://www.qucosa.de/fileadmin/data/qucosa/documents/5380/data/Band_3.pdf
http://www.qucosa.de/fileadmin/data/qucosa/documents/5380/20070063.txt

Internet

http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700638
http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700638
http://www.qucosa.de/fileadmin/data/qucosa/documents/5380/data/Band_3.pdf
http://www.qucosa.de/fileadmin/data/qucosa/documents/5380/20070063.txt

Similar Items