Pages that link to "Item:Q3021937"
From MaRDI portal
The following pages link to SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS (Q3021937):
Displaying 10 items.
- Synthesis from scenario-based specifications (Q439960) (← links)
- Statechartable Petri nets (Q470022) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- Infinite-state high-level MSCs: model-checking and realizability (Q2495403) (← links)
- Composition of Use Cases Using Synchronization and Model Checking (Q3613075) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- On the Power of Play-Out for Scenario-Based Programs (Q5187830) (← links)
