STPA; Software safety; SPIN; Safety verification; Modex;
机译:模型检查Trampoline OS:汽车软件安全性分析的案例研究
机译:在工业环境中使用边界模型检查进行安全关键软件的覆盖率分析
机译:建模和仿真软件实现了蒙特卡洛分析的集成并行处理
机译:使用系统定理过程分析和软件模型检查集成安全分析
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:世界卫生组织手术安全清单实施质量的因果分析及其对护理过程和患者结果的影响
机译:迈向系统理论过程分析(STPA)的建模语言:基于UML的模型驱动系统理论过程分析(STPA)领域专用语言(DSL)的提案