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]
Abstract is missing.