连续随机回报逻辑相关硕士博士期刊学术论文 - 搜论网

连续随机回报逻辑相关论文

基于模型检测的微服务组合平台QoS验证

针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台......

期刊

微服务组合连续时间Markov链连续随机回报逻辑模型检测 PRISM microservice compositioncontinuous-time Ma

看过本文同时还关注