Petar Kochovski, Pavel Drobintsev, Vlado Stankovski. Formal Quality of Service assurances, ranking and verification of cloud deployment options with a probabilistic model checking method. Information \& Software Technology, 109:14-25, 2019. [doi]
@article{KochovskiDS19,
title = {Formal Quality of Service assurances, ranking and verification of cloud deployment options with a probabilistic model checking method},
author = {Petar Kochovski and Pavel Drobintsev and Vlado Stankovski},
year = {2019},
doi = {10.1016/j.infsof.2019.01.003},
url = {https://doi.org/10.1016/j.infsof.2019.01.003},
researchr = {https://researchr.org/publication/KochovskiDS19},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {109},
pages = {14-25},
}