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

Search Results

Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
a semantic preorder on refinement and fairness [会议论文]
1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 07, Shanghai, China, 43988
Huang X.W.; Jiao L.; Lu W.M.
  |  
 
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
  |  
 
evaluation of sat-based bounded model checking of actl properties [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui
  |  
 

1

 

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