Petri nets; safety-critical software;
机译:STPA延伸与UFOI-E安全和安全共同分析方法的比较研究
机译:将脓毒症症状双途径模型扩展到基于状态的测试
机译:WebSTAMP:STPA和STPA-Sec的Web应用程序
机译:用于安全关键系统系统的STPA的基于状态的扩展
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:StpA自身调节和bgl调节中StpA对H-NS的差异依赖性
机译:系统系统分析框架,用于分析暴露于外部事件的安全关键工厂的风险