Iowa State University.;
机译:寻求一种基于MDE类型的Web服务的中介协议的形式验证的方法
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:RESTful服务和Web-OS中间件:一种正式的规范方法
机译:基于中介的Web服务组成形式的形式验证方法
机译:复合Web服务中对话的一种正式验证方法。
机译:在基于传感器网络的方法中使用地球观测和原位传感器开发用于植被生产力的动态网络制图服务
机译:基于I / O自动机的Web服务编排的正式方法