Hochschulschrift
Qualitative and quantitative formal model-based safety analysis : push the safety button
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Magdeburg, Universität, Diss., 2011
- Event
-
Veröffentlichung
- (where)
-
Magdeburg
- (who)
-
Universitätsbibliothek
- (when)
-
2011
- Creator
-
Güdemann, Matthias
- Contributor
- URN
-
urn:nbn:de:gbv:ma9:1-385
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 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
- Güdemann, Matthias
- Ortmeier, Frank
- Kruse, Rudolf
- Universitätsbibliothek
Time of origin
- 2011
Other Objects (12)
Contributions to Model-Based Safety Assessment
Model-Based Quantitative Safety Analysis of Matlab Simulink
Miniaturized push-button rotational energy harvesting generator
Model-based safety assessment for conceptual aircraft systems design
Modular model-based development of safety-critical flight control software
Uncertain safety: allocating responsibilities for safety
Functional safety SIL, Safety Integrity Level
Uncertain safety: allocating responsibilities for safety
Dynamic Model-Based Safety Margins for High-Density Matrix Headlight Systems
Model-based temperature monitoring for broaching safety-critical aero engine components
Integrating Security and Safety with Systems Engineering: a Model-Based Approach
Safety Recommendations for Safety-Critical Design Patterns
Contributions to Model-Based Safety Assessment
Model-Based Quantitative Safety Analysis of Matlab Simulink
Miniaturized push-button rotational energy harvesting generator
Model-based safety assessment for conceptual aircraft systems design
Modular model-based development of safety-critical flight control software
Uncertain safety: allocating responsibilities for safety
Functional safety SIL, Safety Integrity Level
Uncertain safety: allocating responsibilities for safety
Dynamic Model-Based Safety Margins for High-Density Matrix Headlight Systems
Model-based temperature monitoring for broaching safety-critical aero engine components
Integrating Security and Safety with Systems Engineering: a Model-Based Approach
Safety Recommendations for Safety-Critical Design Patterns
Contributions to Model-Based Safety Assessment
Model-Based Quantitative Safety Analysis of Matlab Simulink
Miniaturized push-button rotational energy harvesting generator
Model-based safety assessment for conceptual aircraft systems design
Modular model-based development of safety-critical flight control software
Uncertain safety: allocating responsibilities for safety
Functional safety SIL, Safety Integrity Level
Uncertain safety: allocating responsibilities for safety
Dynamic Model-Based Safety Margins for High-Density Matrix Headlight Systems
Model-based temperature monitoring for broaching safety-critical aero engine components
Integrating Security and Safety with Systems Engineering: a Model-Based Approach