中国科学院计算技术研究所机构知识库(CSpace): 检索

验证码:

换一张

忘记密码？记住我

图片搜索

粘贴图片网址

文献类型

发表日期

收录类别

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	无权访问的条目期刊论文作者: 吴步丹; 金芝; 赵彬 Adobe PDF(2241Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/10/19
	Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 作者: Hou Lishan; Jin Zhi; Wu Budan 收藏 \| 浏览/下载：43/0 \| 提交时间：2019/12/16 web service environment ontology automatic composition pi calculus formal verification

中国科学院计算技术研究所机构知识库