退出
我的积分:
中文文献批量获取
外文文献批量获取
王惠斌; 祝跃飞;
450002,郑州,郑州信息工程大学信息工程学院;
认证协议; 效率; 形式化分析; PCL;
机译:RFID超轻量互认证协议的形式化分析与改进
机译:数据挖掘的一种形式化概念分析方法:快速冰山格子构建的QuICK算法
机译:安全认证协议形式化设计系统的新模型
机译:形式化水处理试验台安全性的一种方法
机译:一种用于多实验表达数据的共识聚类的形式化概念分析方法
机译:对外部认证协议的形式化分析 基于云的拒绝服务(Dos)攻击
机译:通过“Topoi Diagrams”快速形式化分析需求
机译:hohlkathodenlampe-分光光度计,一种合理的组合,以便快速,安全地分析大量的金属proben
机译:通过加热härtbare,一种醇酸树脂和一种形式化的醛缩合产品生产出一种含有1,3,5个三嗪类氨基酸的氨基,并用它来生产schichtpressstoffen
机译:用于分析微生物的形式化分析准备工作,包括浸有微生物食品药物和指示剂的吸收性基质。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。