退出
我的积分:
中文文献批量获取
外文文献批量获取
姚方伟; 崔建双;
中国系统工程学会;
中国信息经济学会;
BAN逻辑; N逻辑; 形式化; 网络安全协议;
机译:概率,逻辑与学习综合:形式化预测概念
机译:用于移动机器人轨迹规划模糊逻辑与间隔型模糊逻辑控制器的比较研究
机译:单项逻辑与子结构逻辑之间的比较
机译:BAN逻辑在认证协议形式化分析中的应用研究
机译:利用组合逻辑与逆变器链的异步有界延迟微伏度的鲁棒性比较
机译:竞争逻辑与医疗保健
机译:基于BaN逻辑的XYZ认证协议的形式化验证与改进
机译:模糊逻辑与经典控制与EpICs的比较研究
机译:监视处理器和外设之间的数据传输-具有与地址字组合的奇偶校验位,这些位被存储并以异或逻辑与下一个传入值进行比较
机译:通过四光子相互作用过程的叠加以纯光学方式生产逻辑与非电路,逻辑反相器和最普通的逻辑电路的方法和装置
机译:逻辑门,一个晶体管晶体管逻辑与一个发射极逻辑连接
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。