蔡铭，程胜，王瑞著2008 年出版374 页ISBN：9787802184244
本书针对复杂航天型号对软件高可靠性的要求，在深入分析软件故障特征的基础上，阐述当前软件调试手段与工具的技术分类体系，介绍一批最新的、具有代表性的软件调试技术，包括：程序规则分析、用户行为分析、虚拟化调...
（英）波斯特莱夫维特（Postlethwaite，I.），（英）麦克法兰（MacFarlane，A.G.J.）著；黄琳译1986 年出版142 页ISBN：15031·708
王军波，宋荣昌，董海平，王玮编著2016 年出版164 页ISBN：9787118105292
本书主要以高价值弹药引信小子样可靠性评估与验收为主，阐述了小子样可靠性评定的方法，可靠性增长理论与方法，无信息先验分布与多层Bayes方法，信息融合方法，引信小子样可靠性综合评估方法和应用，及引信用火工品小....
