Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Browse the full AINA paper archive.