机构

• 软件研究所 [5]
• 计算技术研究所 [1]

采集方式

• OAI收割 [6]

内容类型

• 会议论文 [4]
• 期刊论文 [2]

发表日期

• 2019 [1]
• 2012 [1]
• 2010 [1]
• 2009 [1]
• 2008 [2]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 The Extension of Semantic Formalization of Service Workflow Specification Language 期刊论文  OAI收割 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 卷号: 15, 期号: 2, 页码: 741-754 作者:  Xu, Li Da;  Bi, Zhuming;  Viriyasitavat, Wattana   |  收藏  |   decomposition of automata pdl and its extension 会议论文  OAI收割 2012 International MultiConference of Engineers and Computer Scientists, IMECS 2012, Kowloon, Hong kong, March 14, 2012 - March 16, 2012 Liu Xinxin; Xue Bingtian   |  收藏  |   knowledge-theoretic approach to formal verification of web services protocols 会议论文  OAI收割 2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2010, Beijing, China, 37453 Yao Guoxiang; Chen Qingliang; Liu Chanjuan; Yang Zhuolin   |  收藏  |   testing wsdl_based web service automatically 会议论文  OAI收割 World Congress on Software Engineering, Xiamen, PEOPLES R CHINA, MAY 19-21, Dong Wenli   |  收藏  |   ehrenfeucht-fraisse games in finite set theory 期刊论文  OAI收割 INFORMATION PROCESSING LETTERS, 2008, 卷号: 108, 期号: 1, 页码: 3-9 Zhou Xiang   |  收藏  |   test case reduction technique for bpel-based testing 会议论文  OAI收割 International Symposium on Electronic Commerce and Security, Guangzhou, PEOPLES R CHINA, AUG 03-05, Dong Wenli   |  收藏  |