- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Formal modeling and analysis of timed systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 / Pettersson, Paul et al. (Hrsg.). - Berlin [u.a.] : Springer, 2005. - (Lecture notes in computer science ; 3829). - S. 177-195. - ISBN 978-3-540-30946-8
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2008
- Urheber
-
Aljazzar, Husain
Hermanns, Holger
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-opus-61392
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 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
- Aljazzar, Husain
- Hermanns, Holger
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2008
Ähnliche Objekte (12)
Extended Directed Search for Probabilistic Timed 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
Methods and semantics for telecommunications systems engineering
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
DiPro : A Tool for Probabilistic Counterexample Generation
Counterexample Refinement for a Boundedness Test for CFSM Languages
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
Extended Directed Search for Probabilistic Timed 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
Methods and semantics for telecommunications systems engineering
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
DiPro : A Tool for Probabilistic Counterexample Generation
Counterexample Refinement for a Boundedness Test for CFSM Languages
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
Extended Directed Search for Probabilistic Timed 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
Methods and semantics for telecommunications systems engineering
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
DiPro : A Tool for Probabilistic Counterexample Generation
Counterexample Refinement for a Boundedness Test for CFSM Languages