المؤلف
معلومات
تاريخ المناقشة
تاريخ المناقشة :
3 June 2021
التفاصيل
Titre :
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems