软件验证与确认2011.4刘斌, 主编 会计确认研究2012.12吴江涛, 著 临床检验方法确认与性能验证2009.12王治国, 主编 实验室资质认定工作重要文件汇编2012.12国家认证认可监督管理委员会, 编 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 软件行业的收入确认2016.12陈旭霞 , 著 科学计算中的确认与验证2016.8(美) 威廉 L.奥贝尔康夫 (William L. Oberkampf) , (美) 克里斯多弗 J. 罗伊 (Christopher J. Roy) , 著 实验室资质认定基本知识题集2008.10国家认证认可监督管理委员会, 编 实验室认可作用与贡献案例集2015.10全国认证认可标准化技术委员会实验室认可分技术委员会秘书处, 中国合格评定国家认可中心, 编著 基于模型的软件验证与测试2013.8郑炜, 编著 软件的质量、软件的分析、测试与验证2009.06(德) 里格斯麦尔 (Liggersmeyer,P.) , 著 构件化软件动态更新与验证技术2018.6徐小辉, 著 时间属性的软件建模与验证方法2018.9许海洋, 王萍, 著 实验室资质认定评审准则2010.10国家认证认可监督管理委员会, 编 实验室资质认定工作指南2006.11国家认证认可监督管理委员会, 编