机译:使用Petri网对机器安全进行新的安全评估方法的评估
petri netscheck-listsassessment methodssafety at workplace;
机译:基于Petri网的方法,以引发组件交互相关的安全要求在安全关键系统中
机译:贝叶斯网络和Petri网在安全,可靠性和风险评估中的应用:综述
机译:从放置/转移Petri网到用于安全关键系统的B抽象机
机译:使用Petri网进行机器安全的新安全评估方法评估
机译:FLAIM(消防和生命安全评估和索引方法):一种用于评估和管理海上生产平台的消防和生命安全的方法。
机译:伊朗库姆市通过安全报告卡(SRC)方法进行的操场安全评估
机译:人机互动:使用隐马尔可夫链和Petri网进行心态的安全辅助
机译:采矿业安全评估方法评估。第2卷。矿山安全官员安全评估方法用户手册