Safety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical Report soft ; 09-01
- Classification
-
Ingenieurwissenschaften und Maschinenbau
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2013
- Contributor
- URN
-
urn:nbn:de:bsz:352-212918
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:58 AM CEST
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.
Associated
- Aljazzar, Husain
- Fischer, Manuel
- Grunske, Lars
- Kuntz, Matthias
- Leitner, Florian
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2013
Other Objects (12)
Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples
Extended Directed Search for Probabilistic Timed Reachability
Probabilistic Fault Tree Synthesis using Causality Computation
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Counterexamples for Timed Probabilistic Reachability
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
DiPro : A Tool for Probabilistic Counterexample Generation
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples
Extended Directed Search for Probabilistic Timed Reachability
Probabilistic Fault Tree Synthesis using Causality Computation
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Counterexamples for Timed Probabilistic Reachability
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
DiPro : A Tool for Probabilistic Counterexample Generation
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples
Extended Directed Search for Probabilistic Timed Reachability
Probabilistic Fault Tree Synthesis using Causality Computation
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Counterexamples for Timed Probabilistic Reachability
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
DiPro : A Tool for Probabilistic Counterexample Generation
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
QoS Specification Based on SDL/MSC and Temporal Logic