CORC

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
基于pCTL的循环优化测试用例自动生成方法 期刊论文
小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440
余侠; 薛云志; 陶秋铭
收藏  |  浏览/下载:20/0  |  提交时间:2011/05/23
基于pCTL的循环优化测试用例自动生成方法的研究与实现 学位论文
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009
余侠
收藏  |  浏览/下载:16/0  |  提交时间:2009/06/22
pCTL  


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