1. Home
  2. Theses
  3. Thesis of Dr Kamel OUSSAMA
Author
Dr Kamel OUSSAMA
Information
Thesis supervisor :
Prof Allaoua CHAOUI
Start year :
End 2014
University :
Université Constantine 2
Viva defense
Viva defense date :
3 June 2021
Details
Titre :
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
MISC Laboratory © 2023
Proposed by Dr A.-C. Chaouche