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]
@article{KamelCDG21,
title = {SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach},
author = {Oussama Kamel and Allaoua Chaoui and Gregorio Díaz 0001 and Mohamed Gharzouli},
year = {2021},
doi = {10.1016/j.csi.2020.103483},
url = {https://doi.org/10.1016/j.csi.2020.103483},
researchr = {https://researchr.org/publication/KamelCDG21},
cites = {0},
citedby = {0},
journal = {Computer Standards & Interfaces},
volume = {74},
pages = {103483},
}