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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun

 
An integrated framework of formal methods for interaction behaviors among industrial equipments [期刊论文]
MICROPROCESSORS AND MICROSYSTEMS, 2015-01-01, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS
  |  
 
Formal verification of a descent guidance control program of a lunar lander [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)

 
a petri-net-based correctness analysis of internet stock trading systems [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008-01-01, 卷号: 38, 期号: 1, 页码: 93-99
Du YuYue; Jiang ChangJun; Zhou MengChu

 
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
  |  
 
automatic generation of symbolic model for parameterized synchronous systems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 6, 页码: 812-819
Xu WenWen(徐文文)
  |  
 

1

 

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