The following pages link to Static Analysis (Q5466575):
Displaying 5 items.
- Domain-independent planning for services in uncertain and dynamic environments (Q286080) (← links)
- Reasoning about interaction protocols for customizing web service selection and composition (Q861301) (← links)
- XL: An XML programming language for web service specification and composition. (Q1398899) (← links)
- Analysis and simulation of Web services. (Q1398902) (← links)
- Web computing in Clean (Q2765669) (← links)