Pages that link to "Item:Q5710415"
From MaRDI portal
The following pages link to Formal Methods in Software and Systems Modeling (Q5710415):
Displaying 14 items.
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Synthesis from scenario-based specifications (Q439960) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Minimally adequate teacher synthesizes statechart diagrams (Q1608935) (← links)
- Minimization of the number of clocks for timed scenarios (Q2154053) (← links)
- Improving translation of live sequence charts to temporal logic (Q2810977) (← links)
- Aggregating Causal Runs into Workflow Nets (Q4909355) (← links)
- Verifying Communication Protocols Using Live Sequence Chart Specifications (Q5178973) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← 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)
- FM 2005: Formal Methods (Q5716893) (← links)
- ACoRe: automated goal-conflict resolution (Q6535216) (← links)
- Operations on timed scenarios (Q6535464) (← links)