AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:罗霖的自动生成源lemmas:朝向安全协议的自动证明
Véronique Cortier; Stéphanie Delaune; Jannik Dreier;
机译:快速自动安全协议生成
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:WSN传输协议的正式和自动安全验证
机译:自动设计网络安全协议。
机译:在计算机断层摄影中使用自动管电流调制和自动kV选择的基于大小的协议优化
机译:安全协议的强保密自动证明
机译:复用重复处理超并行转换源代码自动程序生成程序,自动程序生成装置及自动生成方法
机译:用于支持自动协议设置的太阳能发电监控装置和相同的自动协议设置方法
机译:源代码自动生成系统使用数据化变量和源代码自动生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。