Pages that link to "Item:Q2177764"
From MaRDI portal
The following pages link to A controller synthesis framework for automated service composition (Q2177764):
Displaying 7 items.
- Complexity of synthesis of composite service with correctness guarantee (Q439758) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Monitoring and recovery for web service applications (Q488218) (← links)
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee (Q848309) (← links)
- A controller synthesis framework for automated service composition (Q2177764) (← links)
- Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591) (← links)
- A compositional framework to the specification of service protocols controllability and substitutability (Q2921918) (← links)