Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane. Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. In 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, June 27 - July 2, 2015. pages 538-545, IEEE, 2015. [doi]

This author has not been identified. Look up 'Souha Boubaker' in GoogleThis author has not been identified. Look up 'Walid Gaaloul' in GoogleThis author has not been identified. Look up 'Mohamed Graiet' in GoogleThis author has not been identified. Look up 'Nejib Ben Hadj-Alouane' in Google

runs on WebDSL