退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:普适计算环境中服务管理的正式建模和验证
Wan Hai; Drey Zoé; You Zhiyang; Liu Liu;
机译:普适计算中上下文和情境模型的形式验证
机译:普适计算系统的形式化建模与验证
机译:社交客户关系管理系统中服务组合方法的正式建模和验证
机译:普适计算环境的服务管理的正式建模和验证
机译:云计算中服务级别协议的形式化建模和动态验证。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:普遍计算环境服务管理的正式建模与验证
机译:在普适计算环境中通过传播服务进行可穿戴通知。
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:普适计算环境中的服务提供方法及其设备,用于防止服务之间的资源冲突
机译:在普适计算环境中生产当前可用于设备的本体表示设备和服务的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。