Department of Computing, Imperial College London, UK;
机译:基于谓词抽象的安全属性Web服务组成验证
机译:基于谓词抽象的Web服务组成安全性验证
机译:基于谓词抽象的安全性质的Web服务成分验证
机译:验证Web服务组成的时间和认知属性
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:验证Web服务组合的时间和认知属性⋆
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文