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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
extended tabu search on fuzzy traveling salesman problem in multi-criteria analysis [会议论文]
6th International Conference on Algorithmic Aspects in Information and Management, Weihai, PEOPLES R CHINA, JUL 19-21,
Zheng Yujun
  |  
 
testing wsdl_based web service automatically [会议论文]
World Congress on Software Engineering, Xiamen, PEOPLES R CHINA, MAY 19-21,
Dong Wenli

 
partition refinement in abstract model checking [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Pu Fei; Zhang Wenhui
  |  
 
ltl model checking via search space partition [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  
 
ltl model checking via search space partition [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  
 

1

 

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