Smart Play-out of Behavioral Requirements
- 5 November 2002
- book chapter
- Published by Springer Nature
- p. 378-398
- https://doi.org/10.1007/3-540-36126-x_23
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Visual temporal logic as a rapid prototyping toolComputer Languages, 2001
- Scenario-Based Monitoring and Testing of Real-Time UML ModelsPublished by Springer Nature ,2001
- An Automata Based Interpretation of Live Sequence ChartsPublished by Springer Nature ,2001
- Compositional Message Sequence ChartsPublished by Springer Nature ,2001
- Lsc’s: Breathing Life Into Message Sequence ChartsPublished by Springer Nature ,1999
- Automated support for modeling OO softwareIEEE Software, 1998
- Deciding properties for message sequence chartsPublished by Springer Nature ,1998
- Realizable and unrealizable specifications of reactive systemsPublished by Springer Nature ,1989
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982