Mesa: Support for scenario-based design of concurrent systems
Open Access
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 118-135
- https://doi.org/10.1007/bfb0054168
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Implementing and verifying MSC specifications using PROMELA/XSPINPublished by American Mathematical Society (AMS) ,1997
- Timing Constraints in Message Sequence Chart SpecificationsPublished by Springer Nature ,1997
- An analyzer for message sequence chartsPublished by Springer Nature ,1996
- Interpreting Message Flow GraphsFormal Aspects of Computing, 1995
- Temporal constraint networksArtificial Intelligence, 1991
- SDE: incremental specification and development of communications softwareIEEE Transactions on Computers, 1991