退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种验证Web服务组合的正确性的方法
C. Saranya Jothi; Ravikumar S; Antony Kumar K; A. Suresh;
机译:通过显式指定功能语义来提高Web服务组合的正确性和速度的基于图的方法
机译:Web服务组合验证的有界模型检查方法
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:一种基于校验和验证Web服务组合的方法方法
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:Web服务组合的验证:正确的服务型建模技术的正确性和要求框架的操作
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:基于模型的Web服务组合安全策略验证方法
机译:Web服务组合安全策略的基于模型的验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。