退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:一种使用混合自动机进行Web服务操纵的新颖验证模型
机译:基于模型转换的Web服务组合建模与验证
机译:建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
机译:基于接口自动机的Web服务组合模型及其验证算法
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:Web服务组合的验证:正确的服务型建模技术的正确性和要求框架的操作
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:用于基于Web的可视服务建模,代码生成,元数据可视化和odata服务验证的系统和方法
机译:用于基于Web的视觉服务建模,代码生成,元数据可视化和Odata服务验证的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。