- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Report, Chair for Software Engineering, University of Konstanz ; soft-13-03
- 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-245280
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
2025-08-14T10:44:58+0200
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
On the Synergy of Probabilistic Causality Computation and Causality Checking
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
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
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
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
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
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
QoS Specification Based on SDL/MSC and Temporal Logic