基于航电系统架构模型的安全性分析工具的设计与实现 (Design and Implementation of Safety Analysis Tool Based on Avionics System Architecture Model)

Wenhua Xu, Yuping Zhang. 基于航电系统架构模型的安全性分析工具的设计与实现 (Design and Implementation of Safety Analysis Tool Based on Avionics System Architecture Model). 计算机科学, 43(Z11):536-541, 2016. [doi]

Abstract

Abstract is missing.