退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:检查编排器在Web服务中的编排方案的一致性:一种正式的方法
Gregorio Díaz; Ismael Rodríguez;
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:正式技术,用于编码Web服务编排的一致性检查
机译:基于动态工作流的Web服务编排可扩展流模型研究
机译:在Web服务中检查编排与编排的一致性:一种正式方法
机译:基于I / O自动机的Web服务编排的正式方法。
机译:搜索GenBank:在探索国家生物技术信息中心的生物医学资源方面Web服务的交互编排和临时编排
机译:Web服务组合的形式化模型:基于actor的方法 统一编排和编排
机译:用于测试服务编目一致性的设备及其方法,能够在结合了Web服务的情况下对编目应用的一致性进行测试
机译:用于测试服务编排一致性的设备和方法
机译:用于测试服务编排的一致性的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。