Institute for Energy and Environment, Department of Electronic and Electrical Engineering, University of Strathclyde, Glasgow, United Kingdom;
metrics; model checking; prognostics; verification;
机译:在模型检查中使用模型检查技术为非专业人员验证业务规则
机译:基于概率模型检查多状态系统故障相关性的可靠性分析
机译:概率下推自动机的分支时间模型检查
机译:关于概率模型检查对预后应用验证的使用
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:关于使用概率模型检查进行预测应用程序的验证
机译:计算科学:用于验证电子合同的高级模型检查工具