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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
Items/Page:    Sort:
model checking a secure hypervisor [会议论文]
, Wuhan
Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang
  |  
 
e [会议论文]
19th International Conference on Advanced Information Networking and Applications, Taipei, TAIWAN, MAR 28-30,
Cao TJ; Lin DD; Xue R
  |  
 
extended symbolic transition graphs with assignment [会议论文]
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ; Lin HM
  |  
 
model checking value-passing processes [会议论文]
8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07,
Lin HM
  |  
 

1

 

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