机译:用于基于可编程逻辑控制器(PLC)的安全关键型系统开发的软件设计规范和分析技术(SDSAT)
机译:基于PLCopen安全功能块的安全应用程序的验证和确认
机译:Partnership / Ai / R&D / Safety:沃尔沃卡车北美洲队伍与悲楚自动机构和DHE开发人类行为预测系统,以提高道路安全
机译:“安全自动机” - 用于开发PLC安全应用的新规范语言
机译:为佛罗里达州的SafetyAnalyst应用开发安全性能功能。
机译:SafetyNet基于社区的患者安全举措:患者安全和质量改进调查的开发和应用
机译:将安全关键应用软件规格自动转换为PLC梯形逻辑