- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Report, Chair for Software Engineering, University of Konstanz ; soft-06-03
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2008
- Urheber
-
Aljazzar, Husain
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-opus-57832
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:01 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
- Aljazzar, Husain
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2008
Ähnliche Objekte (12)
Counterexamples for Timed Probabilistic Reachability
Probabilistic Fault Tree Synthesis using Causality Computation
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Trail-Directed Model Checking
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Partial Order Reduction in Directed Model Checking
Directed Explicit Model Checking with HSF-SPIN
Counterexamples for Timed Probabilistic Reachability
Probabilistic Fault Tree Synthesis using Causality Computation
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Trail-Directed Model Checking
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Partial Order Reduction in Directed Model Checking
Directed Explicit Model Checking with HSF-SPIN
Counterexamples for Timed Probabilistic Reachability
Probabilistic Fault Tree Synthesis using Causality Computation
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Trail-Directed Model Checking
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Partial Order Reduction in Directed Model Checking