The following pages link to (Q2769611):
Displayed 6 items.
- Multi-modal scenarios revisited: a net-based representation (Q418770) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- SMT-based scenario verification for hybrid systems (Q2441772) (← links)
- Improving Translation of Live Sequence Charts to Temporal Logic (Q2810977) (← links)
- Timed Semantics of Message Sequence Charts Based on Timed Automata (Q2842583) (← links)
- Some Results on the Expressive Power and Complexity of LSCs (Q5452186) (← links)