@article{丁雪儿_3267, author = {[丁雪儿, 毛昕怡, 钮俊, 张开乐]}, title = {基于模型检测的微服务组合平台QoS验证}, publisher = {《计算机应用》唯一官方网站}, year = {2020}, journal = {计算机应用}, volume = {40}, number = {11}, eid = {3267}, pages = {3267-3272}, keywords = {微服务组合;连续时间Markov链;连续随机回报逻辑;模型检测;PRISM}, doi = http://www.joca.cn/CN/10.11772/j.issn.1001-9081.2020030387 }