退出
我的积分:
中文文献批量获取
外文文献批量获取
古天龙; 郭云川; 董荣胜; 蔡国永;
桂林电子工业学院计算机系;
桂林;
541004;
电子商务协议; 符号模型检验; 原子性;
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:使用符号密码分析对遗忘传输协议进行分析
机译:可扩展且精确的符号分析,用于违反原子性
机译:对舞蹈符号的数学贡献:使用欧几里得几何学分析符号符号,计算用于舞蹈符号的矩阵,以及使用晶体学组编排。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:基于迹线的符号分析,用于违反原子性
机译:通过符号状态空间枚举分析密码协议
机译:用于人类疾病的原子性皮肤病动物模型及其生产方法,可广泛用于分析原子性皮肤病的病因和开发药物
机译:原子性皮肤的动物模型,原子性皮肤炎的治疗物质筛选方法和原子性皮肤病的药物制备
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。