Modeling and performance analysis of resource provisioning in cloud computing using probabilistic model checking

URN:NBN:SI:doc-3463E7DQ2021Debbi, Hichemdocuments/doc/3/URN_NBN_SI_doc-3463E7DQ_001.pdfdocuments/doc/3/URN_NBN_SI_doc-3463E7DQ_001.txt445articlestr. 529-5410350-55961854-387196358147URN:NBN:SI:doc-3463E7DQengSlovensko društvo InformatikaInformatica (Ljubljana)BYanalizaračunalništvoračunalništvo v oblakuModeling and performance analysis of resource provisioning in cloud computing using probabilistic model checking