- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Automated Technology for Verification and Analysis / Liu, Zhiming; Ravn, Anders P. (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - (Lecture Notes in Computer Science ; 5799). - S. 244-254. - ISBN 978-3-642-04760-2
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2010
- Creator
- URN
-
urn:nbn:de:bsz:352-opus-105344
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM CEST
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
- Dax, Christian
- Klaedtke, Felix Christopher
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2010
Other Objects (12)
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
Automated Invariant Generation for the Verification of Real-Time Systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
SpinCause : A Tool for Causality Checking
What Do Message Sequence Charts Mean?
Simulink Design Verifier vs. SPIN : a comparative case study
Four Issues Concerning the Semantics of Message Flow Graphs
Validation of remote object invocation and object migration
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
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
Automated Invariant Generation for the Verification of Real-Time Systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
SpinCause : A Tool for Causality Checking
What Do Message Sequence Charts Mean?
Simulink Design Verifier vs. SPIN : a comparative case study
Four Issues Concerning the Semantics of Message Flow Graphs
Validation of remote object invocation and object migration
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
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
Automated Invariant Generation for the Verification of Real-Time Systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
SpinCause : A Tool for Causality Checking
What Do Message Sequence Charts Mean?
Simulink Design Verifier vs. SPIN : a comparative case study
Four Issues Concerning the Semantics of Message Flow Graphs
Validation of remote object invocation and object migration
Syntactic Analysis of Message Sequence Chart Specifications