SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach

Oussama Kamel, Allaoua Chaoui, Gregorio Díaz 0001, Mohamed Gharzouli. SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach. Computer Standards & Interfaces, 74:103483, 2021. [doi]

Abstract

Abstract is missing.