Safety analysis; FRAM; STPA; Model checking Train control;
机译:系统思维,瑞士奶酪模型和事故分析:使用ATSB,AcciMap和STAMP模型对Grayrigg火车出轨进行比较系统的分析
机译:案例失效时系统行为分类的安全性分析方法-在离散列车检测系统中的应用
机译:通过分类失败发生系统行为的安全分析方法 - 使用离散列车检测培训控制系统的应用
机译:利用模型检查实现逆火车控制系统的组合系统安全分析
机译:混合系统的定性分析,模型检查和控制器综合。
机译:转移性尿路上皮癌中的目前全身治疗方案在检查点抑制治疗后 - 一种全身审查与单群META分析的三种研究检测TESTUMAB vEdotin
机译:转移性尿路上皮癌中的目前全身治疗方案在检查点抑制治疗后 - 一种全身审查与单群META分析的三种研究检测TESTUMAB vEdotin
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范