位置：成果数据库 > 会议 > 会议详情页
A Formal Model of Web Service
  • 所属机构名称：东南大学
  • 成果类型：会议
  • 相关项目：基于新型程序切片的质量软件控制关键技术研究
作者： Bixin Li(李必信), Yu Zhou, Xuf
同会议论文项目
基于新型程序切片的质量软件控制关键技术研究
期刊论文 21 会议论文 9 著作 3
同项目会议论文
An Extension to Robustness Sli
A Study of Model Layers and Re
基于交互行为规约的Web服务测试
基于扩展UML的Web服务组合建模及
On Testing Multi-threaded Java
A Service-Oriented Methodology
Modular monadic program slicin
Analyzing the Conditions of Co