- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: The SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996, the Second Workshop on the SPIN Verification System / Grégoire, Jean-Charles et al. (Hrsg.). - Providence : American Mathematical Society, 1997
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
-
Leue, Stefan
Ladkin, Peter B.
- URN
-
urn:nbn:de:bsz:352-opus-65136
- 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
- Leue, Stefan
- Ladkin, Peter B.
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
From SDL specifications to optimized parallel protocol implementations
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Implementing Message Sequence Charts in Promela
Synthesizing ROOM Models from Message Sequence Chart Specifications
Methods and semantics for telecommunications systems engineering
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Comments on a Proposed Semantics for Basic Message Sequence Charts
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
From SDL specifications to optimized parallel protocol implementations
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Implementing Message Sequence Charts in Promela
Synthesizing ROOM Models from Message Sequence Chart Specifications
Methods and semantics for telecommunications systems engineering
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Comments on a Proposed Semantics for Basic Message Sequence Charts
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
From SDL specifications to optimized parallel protocol implementations
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Implementing Message Sequence Charts in Promela
Synthesizing ROOM Models from Message Sequence Chart Specifications
Methods and semantics for telecommunications systems engineering
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers