CORC

在结果中检索

CORC

浏览/检索结果: 共17条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
钠冷快堆三回路系统瞬态仿真研究 学位论文
2018
作者:  吴怡睿
收藏  |  浏览/下载：1/0  |  提交时间：2019/11/26
一体化堆内严重事故机理分析程序开发及应用研究 学位论文
2017
作者:  李龙泽
收藏  |  浏览/下载：2/0  |  提交时间：2019/11/26
基于动态语义的Java源程序分析 学位论文
2017
作者:  刘瑞
收藏  |  浏览/下载：15/0  |  提交时间：2019/12/05
基于约束求解的多线程程序正确性验证方法研究 学位论文
2015
作者:  俞乐晨
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/02
基于模型检测的软件可靠性验证方法 学位论文
: 大连理工大学, 2014
作者:  王小龙
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/11
基于类型系统的程序验证方法研究 学位论文
2013
作者:  吴伟
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
压水堆燃料组件计算程序的验证与确认方法研究 学位论文
2012
作者:  党哈雷
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/10
基于分离逻辑的携带证明代码的证明转换研究 学位论文
2010
作者:  汤梅
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
验证式遗传程序设计理论 学位论文
2008
作者:  何锫
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05
基于自动测试生成的数据结构性质验证 学位论文
2007
作者:  彭健
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05

©版权所有 ©2017 CSpace - Powered by CSpace