考虑安全性需求的航空电子网络可靠性模型 - 赵长啸; 汪鹏辉; 田小艺; 汪克念 (系统工程与电子技术, 2024)
Keywords: 航空电子网络; ordered binary decision diagram(OBDD); safety; reliability; 安全性; avionics network; 可靠性; 有序二叉决策图