- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VIII. Model-Based Development of Embedded Systems 06.02.2012 – 08.02.2012. Tagungsband / Giese, Holger; Huhn, Michaela; Philipps, Jan; Schätz, Bernhard (Hrsg.). - S. 71-80
In: Model-Based Development of Embedded Systems, 6. Feb 2012 - 8. Feb 2012
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2013
- Creator
-
Leitner-Fischer, Florian
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-233173
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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
- Leitner-Fischer, Florian
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2013
Other Objects (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
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Probabilistic Fault Tree Synthesis using Causality Computation
Counterexamples for Model Checking of Markov Decision Processes
Integer linear programming-based property checking for asynchronous reactive systems
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
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Probabilistic Fault Tree Synthesis using Causality Computation
Counterexamples for Model Checking of Markov Decision Processes
Integer linear programming-based property checking for asynchronous reactive systems
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
SpinCause : A Tool for Causality Checking
Towards Symbolic Causality Checking using SAT-Solving
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using SAT-Solving
Probabilistic Fault Tree Synthesis using Causality Computation
Counterexamples for Model Checking of Markov Decision Processes