Pages that link to "Item:Q5394169"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394169):
Displaying 9 items.
- Monitoring and recovery for web service applications (Q488218) (← links)
- Automated specification and verification of web-based applications (Q511928) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Dependability certification of services: a model-based approach (Q2340044) (← links)
- Web services as a new approach to distributing and coordinating semantics-based verification toolkits (Q2847793) (← links)
- Requirements-driven verification of web services (Q2847799) (← links)
- Research on the dynamic reconfiguration of Web application using two-phase compatibility verification (Q2874308) (← links)
- Computer Aided Verification (Q5312941) (← links)
- Formal Approaches to Software Testing (Q5902019) (← links)