退出
我的积分:
中文文献批量获取
外文文献批量获取
谢鸿波; 吴远成; 周明天;
电子科技大学计算机科学与工程学院;
成都;
610054;
重庆通信学院三系数据链教研室;
重庆;
400035;
协议分析; 形式化分析方法; 安全属性;
机译:一种形式化领域专用建模语言的描述方法
机译:P2P网络模型的形式化描述方法
机译:关于投资组合评价支持系统的形式化描述方法的建议
机译:FDR中形式化统一建模语言活动图的形式化研究
机译:使用形式化和抽象技术的VLSI电路的统一验证框架。
机译:神经示意图作为大型神经网络结构的统一形式化图形表示
机译:动态逻辑中Java Card安全属性的形式化和验证
机译:信任管理政策中安全属性的形式化验证
机译:使用隐形安全属性进行身份认证的系统,插入智能卡的隐形安全属性以及使用隐形安全属性进行身份认证的方法
机译:自动化系统形式化语义关系研究
机译:多维特征空间中基于矩阵形式化接近度的自动化系统识别信息图像相似度研究
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。