国家自然科学基金资助项目(71401172,71401170)
闫华,邢云燕,张立,等.多阶段任务系统可靠性分析的ROBDD算法[J].国防科技大学学报,2017,39(5):164-170.
YAN Hua, XING Yunyan, ZHANG Li, et al. ROBDD algorithm for analyzing the reliability of phased-mission system[J]. Journal of National University of Defense Technology,2017,39(5):164-170.