中国科学院机构知识库网格系统: 检索

中国科学院机构知识库网格

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

内容类型

发表日期

学科主题

筛选

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

帮助

条数/页：排序方式：
	modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文 OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service environment ontology automatic composition pi calculus formal verification
	modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文 OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service environment ontology automatic composition pi calculus formal verification
	modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文 OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan \| 收藏 \| 浏览/下载：31/0 \| 提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service environment ontology automatic composition pi calculus formal verification