Hochschulschrift
A formal framework for modelling component extension and layers in distributed embedded systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Chemnitz, Techn. Univ., Diss., 2006
- Schlagwort
-
Eingebettetes System
CASHE
Teilsystem
Framework
Formale Spezifikationstechnik
Pi-Kalkül
Eingebettetes System
Informatik
Pi-Kalkül
Technische Informatik
- Urheber
- URN
-
urn:nbn:de:swb:ch1-200700638
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
A formal fault model for component based models of embedded systems
A formal framework for optimizing the design of distributed real-time embedded systems
Evolving distributed embedded applications during operation
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Learning-based Coordination of Distributed Component Deployment
Modeling component based embedded real-time systems : dissertation
MODES: model-based optimization on distributed embedded systems
Two-component integrable extension of general heavenly equation
Formal techniques for distributed systems : proceedings
Formal techniques for distributed systems : proceedings
Dynamic instruction set extension of microprocessors with embedded FPGAs
A formal fault model for component based models of embedded systems
A formal framework for optimizing the design of distributed real-time embedded systems
Evolving distributed embedded applications during operation
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Learning-based Coordination of Distributed Component Deployment
Modeling component based embedded real-time systems : dissertation
MODES: model-based optimization on distributed embedded systems
Two-component integrable extension of general heavenly equation
Formal techniques for distributed systems : proceedings
Formal techniques for distributed systems : proceedings
Dynamic instruction set extension of microprocessors with embedded FPGAs
A formal fault model for component based models of embedded systems
A formal framework for optimizing the design of distributed real-time embedded systems
Evolving distributed embedded applications during operation
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Learning-based Coordination of Distributed Component Deployment
Modeling component based embedded real-time systems : dissertation
MODES: model-based optimization on distributed embedded systems
Two-component integrable extension of general heavenly equation
Formal techniques for distributed systems : proceedings
Formal techniques for distributed systems : proceedings