机译:一种高效的Web服务组合式模型检查方法
Beijing Inst Technol Sch Comp Beijing 100081 Peoples R China;
Beijing Inst Technol Sch Comp Beijing 100081 Peoples R China;
Beijing Inst Technol Sch Comp Beijing 100081 Peoples R China;
Beijing Inst Technol Sch Comp Beijing 100081 Peoples R China;
Beijing Inst Technol Sch Comp Beijing 100081 Peoples R China;
Beijing Inst Technol Sch Comp Beijing 100081 Peoples R China;
Web service composition; TSM; Bounded model checking; SMT-based encoding;
机译:Web服务组合验证的有界模型检查方法
机译:中介辅助的Web服务组合的时间兼容性的模型检查:一种三阶段方法
机译:基于开放工作流网络建模的Web服务组合的CTL模型检查
机译:基于有界模型检查的Web服务组合
机译:开放系统的模型检查:一种组合的软件验证方法。
机译:SBMLmod:基于Python的Web应用程序和Web服务用于高效的数据集成和模型仿真
机译:Web服务组合的认知模型检查方法