A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane. A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. In John A. Miller, Hong Zhu, editors, 2015 IEEE International Conference on Web Services, ICWS 2015, New York, NY, USA, June 27 - July 2, 2015. pages 519-526, IEEE, 2015. [doi]

This author has not been identified. Look up 'Imed Abbassi' in GoogleThis author has not been identified. Look up 'Mohamed Graiet' in GoogleThis author has not been identified. Look up 'Souha Boubaker' in GoogleThis author has not been identified. Look up 'Mourad Kmimech' in GoogleThis author has not been identified. Look up 'Nejib Ben Hadj-Alouane' in Google

runs on WebDSL