Hochschulschrift
A formal fault model for component based models of embedded systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Chemnitz, Techn. Univ., Diss., 2006
- Keyword
-
Eingebettetes System
Mehrprozessorsystem
Fehlermodell
Pi-Kalkül
Model Checking
Bisimulation
Eingebettetes System
Fehlertoleranz
Informatik
Pi-Kalkül
Prozessalgebra
Systemmodell
Technische Informatik
- Creator
- URN
-
urn:nbn:de:swb:ch1-200700662
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Integrating Security Concerns into Safety Analysis of Embedded Systems Using Component Fault Trees
A HW-dependent software model for cross-layer fault analysis in embedded systems
Techgo!, Unit 12.. The component fault
Integrating formal verification into the model-based development of adaptive embedded systems
Synchronous Models for Embedded Software
Views for aspectualizing component models
Component analysis for additive models
Component Analysis for Additive Models
Fault diagnosis services and realistic fault models for HVAC systems
Fault diagnosis : models, artificial intelligence, applications
A formal framework for modelling component extension and layers in distributed embedded systems
The common component modeling example : comparing software component models
Integrating Security Concerns into Safety Analysis of Embedded Systems Using Component Fault Trees
A HW-dependent software model for cross-layer fault analysis in embedded systems
Techgo!, Unit 12.. The component fault
Integrating formal verification into the model-based development of adaptive embedded systems
Synchronous Models for Embedded Software
Views for aspectualizing component models
Component analysis for additive models
Component Analysis for Additive Models
Fault diagnosis services and realistic fault models for HVAC systems
Fault diagnosis : models, artificial intelligence, applications
A formal framework for modelling component extension and layers in distributed embedded systems
The common component modeling example : comparing software component models
Integrating Security Concerns into Safety Analysis of Embedded Systems Using Component Fault Trees
A HW-dependent software model for cross-layer fault analysis in embedded systems
Techgo!, Unit 12.. The component fault
Integrating formal verification into the model-based development of adaptive embedded systems
Synchronous Models for Embedded Software
Views for aspectualizing component models
Component analysis for additive models
Component Analysis for Additive Models
Fault diagnosis services and realistic fault models for HVAC systems
Fault diagnosis : models, artificial intelligence, applications
A formal framework for modelling component extension and layers in distributed embedded systems