Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

35

SDL
1997

favoriteEmaildiscussreport

90views Hardware» more SDL 1997»

High-level message sequence charts

14 years 6 days ago

High-level message sequence charts

Download www.win.tue.nl

Sjouke Mauw, Michel A. Reniers

Real-time Traffic

SDL 1997 | SDL 2007 |

claim paper

Related Content

» Detecting Implied Scenarios Analyzing Nonlocal Branching Choices

» MSCar Enhancing Message Sequence Charts with Interactivity for Analysing Automotive Commun...

» Secure Requirements Elicitation Through Triggered Message Sequence Charts

» Quantifying the Discord Order Discrepancies in Message Sequence Charts

» A Hierarchy of Communication Models for Message Sequence Charts

» Compositional Message Sequence Charts

» Race Conditions in Message Sequence Charts

» Deciding Properties of Message Sequence Charts

» Symbolic message sequence charts

» Causal Message Sequence Charts

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1997
Where	SDL
Authors	Sjouke Mauw, Michel A. Reniers

Comments (0)