- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA), 2006
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
-
Di Fatta, Giuseppe
Leue, Stefan
Stegantova, Evghenia
- URN
-
urn:nbn:de:bsz:352-opus-61883
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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
- Di Fatta, Giuseppe
- Leue, Stefan
- Stegantova, Evghenia
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
Probabilistic Fault Tree Synthesis using Causality Computation
Mining sequential patterns to explain concurrent counterexamples
Counterexample explanation by anomaly detection
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
Probabilistic Fault Tree Synthesis using Causality Computation
Mining sequential patterns to explain concurrent counterexamples
Counterexample explanation by anomaly detection
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
Probabilistic Fault Tree Synthesis using Causality Computation
Mining sequential patterns to explain concurrent counterexamples
Counterexample explanation by anomaly detection
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
From probabilistic counterexamples via causality to fault trees
From probabilistic counterexamples via causality to fault trees
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract