Process control; Control systems; Firing; Fires; Mathematical model; Embedded systems;
机译:动态流程图方法作为安全分析工具:可编程电子系统设计和验证
机译:可编程逻辑控制器驱动的物料搬运系统的安全验证―考虑工厂的物理行为―
机译:安全控制器桥接安全继电器与可编程控制之间的差距
机译:程序安全更新的控制流验证
机译:验证Lustre程序的安全属性:一种基于SMT的方法。
机译:ACTR-65。成人胶质母细胞瘤患者的肿瘤治疗领域的安全性这些患者植入了不可编程的手术刀可编程的手术刀和除颤器/除颤器:对OPTUNE®治疗进行了6年更新的回顾性分析
机译:通过丰富的控制流程有效地验证程序
机译:高速地面运输系统的安全性:计算机控制子系统安全验证的分析方法。第1卷。安全验证/验证方法的最新技术和评估