A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services.

Raoudha Maraoui, Eric Cariou, Bechir Ayeb

Browse the full WETICE paper archive.