An Automata Based Interpretation of Live Sequence Charts
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 512-527
- https://doi.org/10.1007/3-540-45319-9_35
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Formal Verification of an Avionics Application using Abstraction and Symbolic Model CheckingPublished by Springer Nature ,1999
- Lsc’s: Breathing Life Into Message Sequence ChartsPublished by Springer Nature ,1999
- A visual formalism for real time requirement specificationsPublished by Springer Nature ,1997
- An analyzer for message sequence chartsPublished by Springer Nature ,1996