A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.

Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane

Browse the full ICWS paper archive.