- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Department of Electrical and Computer Engineering, University of Waterloo, Technical Report ; 98-06
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2008
- Urheber
-
Leue, Stefan
Mehrmann, Lars
Rezai, Mohammad
- URN
-
urn:nbn:de:bsz:352-opus-65148
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 MESZ
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
- Leue, Stefan
- Mehrmann, Lars
- Rezai, Mohammad
- Bibliothek der Universität Konstanz
Entstanden
- 2008
Ähnliche Objekte (12)
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Implementing and Verifying MSC Specifications Using Promela/XSpin
From SDL specifications to optimized parallel protocol implementations
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
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Implementing and Verifying MSC Specifications Using Promela/XSpin
From SDL specifications to optimized parallel protocol implementations
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
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Implementing and Verifying MSC Specifications Using Promela/XSpin
From SDL specifications to optimized parallel protocol implementations
On the semantics of message sequence charts
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract