Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction to Message Sequence Charts Implementability Tool Presentation Summary and Outlook A Tool for Analyzing MSC Specifications
 

Summary: Introduction to Message Sequence Charts Implementability Tool Presentation Summary and Outlook
MSCAN
A Tool for Analyzing MSC Specifications
Benedikt Bollig1 Carsten Kern2 Markus Schl¨utter2
Volker Stolz2
1 2
Laboratoire Sp´ecification Lehrstuhl Informatik 2
et V´erification
TACAS 2006, March 30
Introduction to Message Sequence Charts Implementability Tool Presentation Summary and Outlook
Outline
1 Introduction to Message Sequence Charts
Message Sequence Charts (MSCs)
Message Sequence Graphs (MSGs)
2 Implementability
The Formal Model of CFMs
Examples
3 Tool Presentation
4 Summary and Outlook
Introduction to Message Sequence Charts Implementability Tool Presentation Summary and Outlook

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences