CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
ROS中XML-RPC协议实现的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
收藏  |  浏览/下载：47/0  |  提交时间：2016/12/09
Cascade: A test generation tool for combinatorial testing 会议论文
IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, March 18, 2013 - March 20, 2013
Zhao, Yong (1); Zhang, Zhiqiang (1); Yan, Jun (2); Zhang, Jian (1)
收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16
combinatorial testing on id3v2 tags of mp3 files 会议论文
5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17, 2012 - April 21, 2012
Zhang Zhiqiang; Liu Xiaojian; Zhang Jian
收藏  |  浏览/下载：10/0  |  提交时间：2013/09/22
SRL→Radl生成系统及其相关理论研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏  |  浏览/下载：10/0  |  提交时间：2012/06/20
缺陷驱动的软件过程量化管理方法研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
勾朗
收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17
a sentence generation algorithm for testing grammars 会议论文
IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24,
Zheng Lixiao; Wu Duanyi
收藏  |  浏览/下载：13/0  |  提交时间：2011/03/20
a defect typology to support software process verification and validation 学位论文
2008
Kroeger Trent; Shu Fengdi; Qin Shaowen
收藏  |  浏览/下载：7/0  |  提交时间：2011/06/13
基于进程代数的软件过程建模系统的研究与实现 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
杨国伟
收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17
connecting algebraic and logical descriptions of concurrent systems 会议论文
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006, Paphos, Cyprus, 40848
Zhan Naijun
收藏  |  浏览/下载：8/0  |  提交时间：2011/06/29

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