- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 2014 International SPIN Symposium on Model Checking of Software (SPIN) : Proceedings, July 21-23, 2014, San Jose, CA, USA / Neha Rungta ... (Hrsg.). - New York, NY : ACM, 2014. - S. 117-120. - ISBN 978-1-4503-2452-6. - In: SPIN 2014 : 21st International Symposium on Model Checking of Software, 21. Jul 2014 - 23. Jul 2014, San Jose, CA
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2015
- Urheber
-
Leitner-Fischer, Florian
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-0-277999
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
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
- 2015
Ähnliche Objekte (12)
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Towards causality checking for complex system models
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Directed Explicit Model Checking with HSF-SPIN
Symbolic Causality Checking Using SAT-Solving
Probabilistic Fault Tree Synthesis using Causality Computation
Counterexamples for Model Checking of Markov Decision Processes
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Towards causality checking for complex system models
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Directed Explicit Model Checking with HSF-SPIN
Symbolic Causality Checking Using SAT-Solving
Probabilistic Fault Tree Synthesis using Causality Computation
Counterexamples for Model Checking of Markov Decision Processes
Causality checking for complex system models
Causality checking for complex system models
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Towards causality checking for complex system models
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Towards Symbolic Causality Checking using SAT-Solving
Directed Explicit Model Checking with HSF-SPIN
Symbolic Causality Checking Using SAT-Solving
Probabilistic Fault Tree Synthesis using Causality Computation