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