Formal Quality of Service assurances, ranking and verification of cloud deployment options with a probabilistic model checking method

• Petar Kochovski ^[1] ; Pavel D. Drobintsev ^[2] ; Vlado Stankovski ^[1]
  1. [1] University of Ljubljana

     University of Ljubljana

     Eslovenia

     
  2. [2] Peter the Great St. Petersburg Polytechnic University, St. Petersburg, Russian Federation
• Localización: Information and software technology, ISSN 0950-5849, Nº 109, 2019, págs. 14-25
• Idioma: inglés
• Enlaces
  • Texto completo