The following pages link to FM 2005: Formal Methods (Q5716893):
Displaying 5 items.
- Synthesis from scenario-based specifications (Q439960) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Synthesizing distributed protocol specifications from a UML state machine modeled service specification (Q2434558) (← links)
- On the Power of Play-Out for Scenario-Based Programs (Q5187830) (← links)
- Foundations of Software Science and Computational Structures (Q5705898) (← links)