Pages that link to "Item:Q848309"
From MaRDI portal
The following pages link to AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee (Q848309):
Displaying 7 items.
- AutoSyn (Q14588) (← links)
- Complexity of synthesis of composite service with correctness guarantee (Q439758) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- An Event-B based approach for cloud composite services verification (Q826351) (← links)
- A controller synthesis framework for automated service composition (Q2177764) (← links)
- (Q4428413) (← links)
- Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition (Q5166610) (← links)