安全性设计分析与验证2011.4赵廷弟, 主编 维修性设计分析与验证2012.1吕川, 主编 民用飞机安全性设计与验证技术2015.8郭博智, 王敏芹, 阮宏泽, 主编 测试性设计分析与验证2011.4石君友, 主编 安全协议实施安全性自动化分析与验证2019.10孟博, 王德军, 著 装备测试性设计分析验证技术2018.5王红霞, 等编著 动态系统运行安全性分析与技术2019.3柴毅, 张可, 毛永芳, 魏善碧, 著 汽车碰撞安全性设计2009.08张金换等, 编著 FPGA安全性设计指南2014.2(美) 霍夫曼 (Huffmire,T.) , 等著 机电系统可靠性与安全性设计2006.08谢里阳, 何雪宏, 李佳, 编著 网络安全性设计2005.08(美) 凯 (Kae,M.) , 著 Windows安全性编程2004.(美) 布朗, 编著 电动汽车安全性设计2020.8王德平, 等编著 连续变量量子密钥分发的安全性分析2016.6孙茂珠, 葛桂贤, 著 药物安全性评价2005.05(美) 加德 (Cad,S.C.) , 编著