...
机译:在STEAG SI系统中通过冲突检查实现安全断开
机译:在STEAG SI系统中通过冲突检查实现安全断开
机译:临床脱节和无法解决的冲突对产程安全失败的贡献
机译:集成自动化安全规则检查(ASRC)系统,用于马来西亚基于BIM的项目的安全计划
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:用于模型检查,检查先验数据冲突和贝叶斯推断的不变过程。
机译:临床断开连接和无法解决的冲突导致产前安全性失败的原因
机译:通过使用初级和二次检查系统,癌症化疗的计算机化处方检查系统的引入改善化疗处方安全性 -
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范