Open Access

ARTICLE

Formal Modeling of Self-Adaptive Resource Scheduling in Cloud

Atif Ishaq Khan^*, Syed Asad Raza Kazmi, Awais Qasim

Department of Computer Science, Government College University, Lahore, 54000, Pakistan

* Corresponding Author: Atif Ishaq Khan. Email: