Accidents; Hazards; Airports; Model checking; Process control; Aircraft;
机译:基于STAMP的HRA考虑社会技术系统内的因果关系:一例民兵三号导弹事故
机译:基于STAMP的铁路事故及事故蔓延分析:以中交铁路事故为例
机译:将模型检查与HiP-HOPS集成在基于模型的安全分析中
机译:通过集成模型检查改进基于STAMP的事故因果分析
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:未骑马的马术中的蹄踢伤。通过引入基于事故和紧急情况的关系数据库来改善事故分析和预防
机译:系统思维,瑞士奶酪模型和事故分析:使用ATSB,AcciMap和STAMP模型对Grayrigg火车出轨进行比较系统的分析