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

Search Results

Help

Item hits: (Results 1-10 of 15)

Items/Page:    Sort:
model checking for protocols using verds [会议论文]
5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29,
Ma Ming

 
model checking: a coalgebraic approach [会议论文]
5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29,
Gao Jianhua; Jiang Ying

 
a generative approach to searching algorithmic programs development [会议论文]
5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29,
Shi Haihe; Xue Jinyun

 
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 
algorithms for computing weak bisimulation equivalence [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Li Weisong
  |  
 
environment abstraction with state clustering and parameter truncating [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Pan Hong; Lv Yi; Lin Huimin

 
specifying properties for modular pi-calculus [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Kitamura Takashi; Lin Huimin
  |  
 
an empirical study on interoperability between service discovery protocols [会议论文]
5th International Conference on Embedded and Ubiquitous Computing, Shanghai, PEOPLES R CHINA, DEC 17-20,
Jin Beihong; Zang Zhi; Zhang Liang
  |  
 
enhancing feasibility analysis of ieee 802.5 token ring [会议论文]
5th IEEE/IFIP International Conference on Wireless and Optical Communications Networks, Surabaya, INDONESIA, MAY 05-07,
Min-Allah Nasro; Elahi Manzoor; Xing Jiansheng; Wang Yongji
  |  
 
test data generation for c programs with string-handling functions [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Ruan Hui; Zhang Jian; Yan Jun
  |  
 

1 2 next

 

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