...
机译:正式的服务质量保证,使用概率模型检查方法对云部署选项进行排名和验证
Univ Ljubljana, Fac Civil & Geodet Engn, Ljubljana, Slovenia|Peter Great St Petersburg Polytech Univ, Inst Comp Sci & Technol, St Petersburg, Russia;
Peter Great St Petersburg Polytech Univ, Inst Comp Sci & Technol, St Petersburg, Russia;
Univ Ljubljana, Fac Civil & Geodet Engn, Ljubljana, Slovenia;
Cloud; Fog; Edge; Software engineering; Decision-making; Equivalence classes; Probabilistic model checking;
机译:通过统计模型检查对概率SystemC模型进行形式验证
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:基于云的Web服务组成的正式建模与验证
机译:基于概率模型检查的EDCA正式建模与验证
机译:云计算中服务级别协议的形式化建模和动态验证。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:具有概率模型检查方法的正式服务保证,排名和核查云部署选项
机译:基于符号模型检验的大型模型可诊断性实用形式验证