Auteur
Informations
Directeur de thèse :
Année de début :
Année de début :
Fin 2014
Université :
Université Constantine 2
Soutenance
Date de soutenance :
3 Juin 2021
Détails
Titre :
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems