Pages that link to "Item:Q5710415"
From MaRDI portal
The following pages link to Formal Methods in Software and Systems Modeling (Q5710415):
Displaying 9 items.
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← 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)