Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications.

Sylvain Hall

Browse the full ICECCS paper archive.