中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-7 of 7)

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 \|
	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(徐文文) \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In