中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	基于扩展逻辑变换系统_μTS证明循环优化正确性 [期刊论文] 计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 9, 页码: 1863-1873 王昌晶
	基于pCTL的循环优化测试用例自动生成方法 [期刊论文] 小型微型计算机系统, 2010-01-01, 卷号: 31, 期号: 3, 页码: 436-440 余侠; 薛云志; 陶秋铭
	循环优化序列自动定制方法研究 [学位论文] 硕士, 中科院软件所: 中国科学院研究生院, 2009-05-26 薛云志 \|
	基于CTL的循环优化变换描述方法 [期刊论文] 计算机应用研究, 2007-01-01, 卷号: 24, 期号: 7, 页码: 49 夏勇; 薛云志; 陶秋铭; 赵琛 \|
	基于时序逻辑的编译优化形式化描述及测试用例生成方法 [学位论文] 博士, 软件研究所: 中国科学院软件研究所, 2006-06-02 夏勇 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In