- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Formal Description Techniques and Protocol Specification, Testing and Verification / Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo; Togashi, Atsushi (Hrsg.). - Boston, MA : Springer US, 1997. - S. 91-106. - ISBN 978-1-4757-5260-1
- Classification
-
Wirtschaft
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
-
Ben-Abdallah, Hanêne
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-opus-65107
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 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
- Ben-Abdallah, Hanêne
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
Implementing and Verifying MSC Specifications Using Promela/XSpin
From SDL specifications to optimized parallel protocol implementations
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
On the semantics of message sequence charts
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
Implementing and Verifying MSC Specifications Using Promela/XSpin
From SDL specifications to optimized parallel protocol implementations
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
On the semantics of message sequence charts
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
Implementing and Verifying MSC Specifications Using Promela/XSpin
From SDL specifications to optimized parallel protocol implementations
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
On the semantics of message sequence charts
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract