Pages that link to "Item:Q5946346"
From MaRDI portal
The following pages link to LSCs: Breathing life into message sequence charts (Q5946346):
Displayed 17 items.
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Implementation of the conformation of MSC and SDL diagrams in the REAL technology (Q2371555) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- A theory of regular MSC languages (Q2573333) (← links)
- Graph Transformation with Dependencies for the Specification of Interactive Systems (Q3184727) (← links)
- Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Q3510808) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- Parametric Trace Slicing and Monitoring (Q3617763) (← links)
- Weaving Multiple Aspects in Sequence Diagrams (Q3634772) (← links)
- Oclets – Scenario-Based Modeling with Petri Nets (Q3636847) (← links)
- On the Power of Play-Out for Scenario-Based Programs (Q5187830) (← links)
- Some Results on the Expressive Power and Complexity of LSCs (Q5452186) (← links)