Safety; Accidents; Temperature measurement; Temperature control; Fault trees; Petri nets; Valves;
机译:化学过程安全中基于Petri网的攻击时间分析
机译:基于危害分析关键控制点(HACCP)的食品安全管理系统的微生物学性能:以尼罗河鲈鱼加工公司为例
机译:基于模型的测试和评估过程与系统安全过程的集成,以开发安全关键武器系统
机译:基于Petri-Net的过程系统安全分析
机译:在肉类加工行业中,基于视觉的安全培训与基于非视觉的安全培训相比,针对讲非英语的西班牙裔的有效性。
机译:基于多传感器数据处理的安全计算机系统
机译:广义布尔逻辑驱动马尔可夫流程:一种强大的动态可修复和可重新配置系统的基于模型的安全性分析建模框架
机译:载人航天飞行核系统安全。第2卷空间基地初步核安全分析。第1部分核安全分析