形式化检验相关硕士博士期刊学术论文 - 信丰网

形式化检验相关论文

服务组合的形式化检验与QoS感知的服务组合方法研究

基于Web服务组合的软件服务协同技术已成为构造开放网络的动态协作、按需组合的服务交互环境的关键支撑技术。在实际的复杂应用环......

学位

Web服务组合形式化检验启发式全局优化算法树型编码遗传算法 Web服务组合划分反馈控制容错处理

看过本文同时还关注