Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Tools and Algorithms for the Construction and Analysis of Systems / Brinksma, Ed (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - (Lecture Notes in Computer Science ; 1217). - S. 259-274. - ISBN 978-3-540-62790-6
- Keyword
-
Gehirn
Zentralnervensystem
- 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-62060
- 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)
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Syntactic Analysis of Message Sequence Chart Specifications
On the semantics of message sequence charts
Comments on a Proposed Semantics for Basic Message Sequence Charts
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Interpreting Message Flow Graphs
Timing Constraints in Message Sequence Chart Specifications
Four Issues Concerning the Semantics of Message Flow Graphs
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
QoS Specification Based on SDL/MSC and Temporal Logic
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Syntactic Analysis of Message Sequence Chart Specifications
On the semantics of message sequence charts
Comments on a Proposed Semantics for Basic Message Sequence Charts
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Interpreting Message Flow Graphs
Timing Constraints in Message Sequence Chart Specifications
Four Issues Concerning the Semantics of Message Flow Graphs
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
QoS Specification Based on SDL/MSC and Temporal Logic
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Syntactic Analysis of Message Sequence Chart Specifications
On the semantics of message sequence charts
Comments on a Proposed Semantics for Basic Message Sequence Charts
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Interpreting Message Flow Graphs
Timing Constraints in Message Sequence Chart Specifications
Four Issues Concerning the Semantics of Message Flow Graphs
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications