CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
程序断言与切片技术在检测程序非崩溃错误中的应用 期刊论文
小型微型计算机系统, 2014, 卷号: 35, 期号: 8, 页码: 1699-1704
邓超强; 曾凡平; 张辉; 张震宇; 董齐兴
收藏  |  浏览/下载：11/0  |  提交时间：2014/12/16
程序不变量到断言的自动转换方法研究及其应用 期刊论文
计算机应用与软件, 2012, 期号: 11, 页码: 177-180,189
邓超强; 曾凡平; 武飞; 熊能; 董齐兴
收藏  |  浏览/下载：6/0  |  提交时间：2013/09/17
CFCIB:基于插入块的控制流错误检测方法 期刊论文
计算机工程与设计, 2011, 卷号: 32, 期号: 9, 页码: 3045-3049
陆庄伟; 张显明; 刘立祥; 赵军锁
收藏  |  浏览/下载：5/0  |  提交时间：2013/10/08
CFCIB：基于插入块的控制流错误检测方法 期刊论文
Computer Engineering and Design, 2011, 卷号: 32, 期号: 9
陆庄伟; 张显明; 刘立祥; 赵军锁
收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08
基于单断言的安全的密文区间检索 期刊论文
计算机学报, 2011, 卷号: 34, 期号: 11, 页码: 2093-2103
蔡克; 张敏; 冯登国
收藏  |  浏览/下载：8/0  |  提交时间：2013/10/08
星载计算机软件容错技术 学位论文
硕士, 北京: 中国科学院研究生院, 2010
曹东坡
收藏  |  浏览/下载：19/0  |  提交时间：2010/06/16
JUTA:一个Java自动化单元测试工具 期刊论文
计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
收藏  |  浏览/下载：24/0  |  提交时间：2011/05/23
语义Web中描述逻辑本体的可伸缩推理和非一致处理 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
杜剑峰
收藏  |  浏览/下载：12/0  |  提交时间：2011/03/17
吝啬语义信任协商 期刊论文
计算机学报, 2009, 卷号: 32, 期号: 10
张妍; 冯登国
收藏  |  浏览/下载：7/0  |  提交时间：2010/05/27
基于SAML2的单点登录服务器FAAS设计与实现 学位论文
硕士, 软件研究所: 中国科学院软件研究所, 2008
何绍建
收藏  |  浏览/下载：8/0  |  提交时间：2011/03/17

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