Cloud certification; Validation; Probabilistic model checking;
机译:作为成本有效的适航性认证过程的形式敏捷方法的回顾
机译:基于LiDAR数据,图像处理和云计算的大型建筑环境中屋顶和立面的太阳能潜力评估。日内瓦的方法论背景,应用和验证(太阳能卡达斯特)
机译:肯尼亚内罗毕科罗戈乔非正规学校合作方式对小学生英语成绩的影响
机译:使用正式方法云认证过程验证
机译:使用正式方法来改善云IaaS环境。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:使用正式方法进行云认证流程验证
机译:在DO-178B认证过程中应用形式化方法。一个介绍