Bounded Model Checking; Linear Temporal Logic; Web Service Composition;
机译:Web服务组合验证的有界模型检查方法
机译:基于开放工作流网络建模的Web服务组合的CTL模型检查
机译:一种高效的Web服务组合式模型检查方法
机译:基于有界模型检查的Web服务组成
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:缩回:使用基于QoS的Web服务排名算法的自动Web服务组合框架
机译:使用模型检查生成Web服务组合的一致性测试套件