On the synergy of probabilistic causality computation and causality checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Model Checking Software / Bartocci, Ezio; Ramakrishnan, C. R. (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - (Lecture Notes in Computer Science ; 7976). - S. 246-263. - ISBN 978-3-642-39175-0
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2013
- Urheber
-
Leitner-Fischer, Florian
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-243905
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 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.
Beteiligte
- Leitner-Fischer, Florian
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2013
Ähnliche Objekte (12)
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
Probabilistic Fault Tree Synthesis using Causality Computation
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using SAT-Solving
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
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
Probabilistic Fault Tree Synthesis using Causality Computation
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using SAT-Solving
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
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
Probabilistic Fault Tree Synthesis using Causality Computation
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using SAT-Solving
From probabilistic counterexamples via causality to fault trees