Scenario-Based Monitoring and Testing of Real-Time UML Models
- 17 September 2001
- book chapter
- Published by Springer Nature
- p. 317-328
- https://doi.org/10.1007/3-540-45441-1_24
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- LSCs: Breathing Life into Message Sequence ChartsFormal Methods in System Design, 2001
- Lsc’s: Breathing Life Into Message Sequence ChartsPublished by Springer Nature ,1999
- Automata on Infinite ObjectsPublished by Elsevier ,1990