- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Computer Safety, Reliability, and Security / Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - (Lecture Notes in Computer Science ; 6894). - S. 71-84. - ISBN 978-3-642-24269-4
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2011
- Creator
- URN
-
urn:nbn:de:bsz:352-147797
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 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.
Associated
- Kuntz, Matthias
- Leitner-Fischer, Florian
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2011
Other Objects (12)
Probabilistic Fault Tree Synthesis using Causality Computation
From probabilistic counterexamples via causality to fault trees
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Extended Directed Search for Probabilistic Timed Reachability
Counterexamples for Timed Probabilistic Reachability
Discriminative Pattern Mining in Software Fault Detection
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Probabilistic Fault Tree Synthesis using Causality Computation
From probabilistic counterexamples via causality to fault trees
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Extended Directed Search for Probabilistic Timed Reachability
Counterexamples for Timed Probabilistic Reachability
Discriminative Pattern Mining in Software Fault Detection
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Probabilistic Fault Tree Synthesis using Causality Computation
From probabilistic counterexamples via causality to fault trees
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Extended Directed Search for Probabilistic Timed Reachability
Counterexamples for Timed Probabilistic Reachability
Discriminative Pattern Mining in Software Fault Detection