• 安全关键系统需求形式化建模分析实例研究

    安全关键系统需求形式化建模分析实例研究

    论文摘要近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综...