已选(0)清除
条数/页: 排序方式:
|
| 一体化堆内严重事故机理分析程序开发及应用研究 学位论文 2017 作者: 李龙泽
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/11/26
|
| RELAP/SCDAPSIM/MOD4.0程序的FHR应用扩展及验证 期刊论文 核动力工程, 2016, 期号: 6, 页码: "33-36" 作者: 姜淑颖; 程懋松; 戴志敏; 陈玉爽
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:32/0  |  提交时间:2018/08/17
|
| RELAP5应用于液态燃料熔盐堆的扩展及验证 期刊论文 核动力工程, 2016, 卷号: v.37;No.216, 期号: 3, 页码: 16-20 作者: 施承斌; 程懋松; 刘桂民
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:20/0  |  提交时间:2016/12/21
|
| 基于吴方法的不变式生成算法 期刊论文 2015, 2015 周宁; 吴尽昭; 王超
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2017/06/19
|
| 基于k近邻最弱前置条件的程序多路径验证方法 期刊论文 计算机学报, 2015, 卷号: 38, 期号: 11 作者: 郭曦; 王建勇; 王盼; 张焕国
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 基于偏序规约技术的网络程序JPF验证 期刊论文 2014, 卷号: 35, 期号: 6, 页码: 2004-2008 作者: 杨翰文; 龙士工; 谢光颖
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2020/01/05
|
| 一种基于语境的程序正确性验证算法的研究与实现 会议论文 全国抗恶劣环境计算机第二十四届学术年会, 江西九江, 2014-09-01 作者: 尹顺顺; 马殿富; 赵永望; 赵宪琦
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2020/01/06
|
| 基于类型系统的程序验证方法研究 学位论文 2013 作者: 吴伟
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 基于程序骨架的软件模型验证加速方法 会议论文 2013全国高性能计算学术年会, 桂林, 2013-10-29 作者: 王小龙; 周宽久; 勇嘉伟; 任龙涛; 侯刚
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/13
|
| 基于虚拟制造的复杂曲面NC程序验证仿真环境的建立 期刊论文 http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=xagy200202001&dbcode=CJFQ&dbname=CJFQ2002, 2012, 2012 蒋英兰; 王大镇; 韩荣第
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2017/06/19
|