Pages that link to "Item:Q439960"
From MaRDI portal
The following pages link to Synthesis from scenario-based specifications (Q439960):
Displaying 5 items.
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- On abstraction in scenarios (Q1606708) (← links)
- Scenario formulation in an algebraic modelling language (Q1904673) (← links)
- Formal Methods in Software and Systems Modeling (Q5710415) (← links)
- FM 2005: Formal Methods (Q5716893) (← links)