The following pages link to (Q4427918):
Displaying 9 items.
- Synthesis from scenario-based specifications (Q439960) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Designing communicating transaction processes by supervisory control theory (Q878112) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- A theory of regular MSC languages (Q2573333) (← 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)
