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

Search Results

Help

Item hits: (Results 41-50 of 58)

Items/Page:    Sort:
mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols [会议论文]
22nd ACM Symposium on Applied Computing, Seoul, SOUTH KOREA, MAR 11-15,
Li Yongjian
  |  
 
computing invariants for parameter abstraction [会议论文]
ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN
Lv Yi; Lin Huimin; Pan Hong
  |  
 
controllable ring search for anonymous routing protocols in manets [会议论文]
Third International Conference on Wireless and Mobile Communications 2007, ICWMC 07, Guadeloupe, Guadaloupe, 37319
Zhang Yang; Fan Zhihua
  |  
 
improvements for the symbolic verification of timed automata [会议论文]
27th International Conference on Formal Techniques for Networked and Distributed Systems, Tallinn, ESTONIA, JUN 27-29,
Yan Rongjie; Li Guangyuan; Zhang Wenliang; Peng Yunquan
  |  
 
a verifiable formal specification for rbac model with constraints of separation of duty [会议论文]
2nd SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, NOV 29-DEC
Yuan Chunyang; He Yeping; He Jianbo; Zhou Zhouyi
  |  
 
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
  |  
 
modeling and verifying web services driven by requirements: an ontology-based approach [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 6, 页码: 792-820
Hou Lishan; Jin Zhi; Wu Budan
  |  
 
modeling and verifying web services driven by requirements: an ontology-based approach [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 6, 页码: 792-820
Hou Lishan; Jin Zhi; Wu Budan
  |  
 
modeling and verifying web services driven by requirements: an ontology-based approach [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 6, 页码: 792-820
Hou Lishan; Jin Zhi; Wu Budan
  |  
 

previous 1 2 3 4 5 6 next

 

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