基于OBDD的航空电子网络可靠性分析
陈瑶, 李峭, 赵长啸, 熊颖
OBDD-based reliability analysis for avionics networks
CHEN Yao, LI Qiao, ZHAO Chang-xiao, XIONG Ying
Journal of Systems Engineering and Electronics . 2013, (1): 230 -236 .  DOI: 10.3969/j.issn.1001-506X.2013.01.39