首页> 外文OA文献 >Design for Verification for Asynchronously Communicating Web Services

【2h】

Design for Verification for Asynchronously Communicating Web Services

机译：异步通信Web服务的验证设计

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Aysu Betin-can et al.;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verification of product design using regulation knowledgebase and Web services [J] . Kim Ikjune, Lee Jaechul, Kim Byung Chul, Journal of Mechanical Science and Technology . 2015,第12期

机译：使用法规知识库和Web服务验证产品设计
2. A design methodology for verified web-service mediators [J] . Jing Cao, Albert Nymeyer Computing . 2013,第7期

机译：经验证的Web服务介体的设计方法
3. A design methodology for verified web-service mediators [J] . Jing Cao, Albert Nymeyer Computing . 2013,第7期

机译：经验证的Web服务介体的设计方法
4. Design for Verification for Asynchronously Communicating Web Services [C] . Aysu Betin-Can, Tevfik Bultan, Xiang Fu International World Wide Web Conference; 20050510-14; (JP) . 2005

机译：异步通信Web服务的验证设计
5. Formal specification and *verification of asynchronously communicating Web services [D] . Fu, Xiang 2004

机译：异步通信Web服务的正式规范和验证
6. XMPP for cloud computing in bioinformatics supporting discovery and invocation of asynchronous web services [O] . Johannes Wagener, Ola Spjuth, Egon L Willighagen, 2009

机译：XMPP用于生物信息学中的云计算支持异步Web服务的发现和调用
7. Pattern-Based Design of an Asynchronous Invocation Framework for Web Services [O] . Uwe Zdun, Markus Voelter, Michael Kircher 2004

机译：基于模式的Web服务异步调用框架设计

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号