中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
基础软件国家工程研究... [3]
软件所图书馆 [1]
中科院软件所 [1]
作者
Content Type
期刊论文 [3]
学位论文 [2]
Issued Date
Language
中文 [5]
Source
小型微型计算机系统 [1]
计算机应用研究 [1]
计算机研究与发展 [1]
Project
Indexed
CNKI [1]
EI [1]
WANFANG [1]
WANFANG,CS... [1]
Spnsorship
江西省教育厅青年科学... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-5 of 5)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Author Ascending
Author Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
基于扩展逻辑变换系统_μ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
夏勇
  |  
1
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace