The following pages link to (Q4739565):
Displayed 4 items.
- DSOL: a declarative approach to self-adaptive service orchestrations (Q438997) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- Web services composing by multiagent negotiation (Q732818) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← links)