...
机译:两种基于CEGAR的方法对PLC控制的工厂进行安全验证
Rhein Westfal TH Aachen, Aachen, Germany;
Rhein Westfal TH Aachen, Aachen, Germany;
Siemens AG, Nurnberg, Germany;
Rhein Westfal TH Aachen, Aachen, Germany;
Rhein Westfal TH Aachen, Aachen, Germany;
Safety verification; Hybrid systems; CEGAR; Bounded model checking; Reachability analysis;
机译:适用于安全性和安全性至关重要的软件系统的白盒和灰盒验证和确认方法
机译:安全关键计算机系统的安全验证:以核电站系统为例
机译:使用Petri网验证核电厂的安全关键和控制系统
机译:核植物/氢气厂安全:问题和方法
机译:核电厂安全验证应用的不确定度量化。
机译:光学相干断层扫描在小鼠卵巢中进行卵巢组织移植的卵巢储备评估技术的准确性和安全性验证
机译:基于信息的动态系统安全验证优化方法
机译:WWER-440型213核电站的实验设计验证。参考工厂:Bohunice V2(斯洛伐克)。关于评估WWER-440 213型核电厂安全方面的原子能机构技术合作项目RER / 9/004的报告