Pages that link to "Item:Q5946346"
From MaRDI portal
The following pages link to LSCs: Breathing life into message sequence charts (Q5946346):
Displayed 25 items.
- Multi-modal scenarios revisited: a net-based representation (Q418770) (← links)
- Synthesis from scenario-based specifications (Q439960) (← links)
- 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)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← 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)
- Formal Techniques for Analysing Scenarios using Message Sequence Charts (Q2841314) (← links)
- Timed Semantics of Message Sequence Charts Based on Timed Automata (Q2842583) (← links)
- Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation (Q2890325) (← 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)
- Integrating Model Information in UML Sequence Diagrams (Q4921555) (← links)
- Formal concepts for an integrated internal model of the UML (Q4923510) (← 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)