机译:两种基于CEGAR的方法对PLC控制的工厂进行安全验证
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:IEC62061:机械安全-与安全相关的电气,电子和可编程电子控制系统的功能安全の概要
机译:扩展PLC控制程序的验证范围:一种功能安全方法
机译:复杂的数百万门ASIC的覆盖驱动功能验证方法
机译:一项随机对照试验以测试下列药物的疗效和安全性中风血栓切除术病灶延长时间延长窗口
机译:PLC程序验证的一种代数方法