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

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes [期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016-01-01, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
  |  
 
path-based verification for composition of semantic web services [会议论文]
23rd Annual ACM Symposium on Applied Computing, Fortaleza, BRAZIL, MAR 16-20,
Shi Yuxiang; Yan Jun; Li Zhongjie; Zhu Jun
  |  
 
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
  |  
 
compositionality of fixpoint logic with chop [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Zhan NJ; Wu JZ
  |  
 

1

 

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