The following pages link to (Q4427918):
Displaying 4 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)