Sciweavers

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

26

FOSSACS
2008
Springer

favoriteEmaildiscussreport

93views Software Engineering» more FOSSACS 2008»

Products of Message Sequence Charts

13 years 12 months ago

Products of Message Sequence Charts

Download hal.inria.fr

Philippe Darondeau, Blaise Genest, Loïc H&eac

Real-time Traffic

FOSSACS 2008 | Software Engineering |

claim paper

Related Content

» 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	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2008
Where	FOSSACS
Authors	Philippe Darondeau, Blaise Genest, Loïc Hélouët

Comments (0)