中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
基于一阶迁移系统的限界模型检测工具实现 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
  |  
 
近似骨架导向的归约聚类算法 [期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜; 李明楚; 江贺

 
methodology for reliability evaluation of n-version programming software fault tolerance system [会议论文]
International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, 40878
Ping Guo; Xin Liu; Qian Yin
  |  
 
towards semi-automatic generation of provably correct algorithmic programs [会议论文]
8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing/3rd ACIS International Workshop on Self-Assembling Wireless Networks, Qungdao, PEOPLES R CHINA, JUL 30-AUG
Shi Haihe; Xue Jinyun
  |  
 
automated test case generation for the stress testing of multimedia systems [期刊论文]
Software:Practice and Experience, 2002-01-01, 卷号: 32, 期号: 15, 页码: 1411-1435
Zhang Jian; Cheung SC

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace