On the Expressive Power of Live Sequence Charts
From MaRDI portal
Publication:3593076
Recommendations
Cited in
(9)- Check It Out: On the Efficient Formal Verification of Live Sequence Charts
- Some Results on the Expressive Power and Complexity of LSCs
- Multi-modal scenarios revisited: a net-based representation
- Modal scenarios as automata
- scientific article; zbMATH DE number 1701777 (Why is no real title available?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Scenario-based verification of real-time systems using UPPAAL
- LSCs: Breathing life into message sequence charts
- Concurrent LSC verification
This page was built for publication: On the Expressive Power of Live Sequence Charts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3593076)