退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:参数化数据聚合协议的形式验证
Sergio Feo-Arenis; Bernd Westphal;
机译:验证移动网络物理系统中参数化协议的形式化方法
机译:WSN基于信任数据聚合协议的数据验证和完整性验证
机译:连接车辆新数据交换协议的正式验证和性能分析
机译:分支网络上参数化协议的形式验证。
机译:PSDAAP:在海洋WSN中使用基于身份的多重签名来确保数据认证聚合协议的安全
机译:一种验证移动网络物理系统中参数化协议的正式方法
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:电子移动终端的移动电话,数据流保护方法,涉及应用为参数化的协议数据流计划的处理,以将其提交给代理服务器
机译:计算机实现的框架和方法,配置为能够生成,处理和管理3D人体扫描数据,包括共享数据访问协议和协作数据利用,并识别3D环境的验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。