退出
我的积分:
中文文献批量获取
外文文献批量获取
黄吴丹; 陈哲;
1. 南京航空航天大学计算机科学与技术学院 2. 软件新技术与产业化协同创新中心;
抽象描述; 边界网关协议; 安全性问题; 形式化验证; 模型检验;
机译:桥梁检验支持系统三维模型施工方法研究
机译:日光市清原市民用住宅的公共房屋改建方法研究第2部分:基于实际生活条件的模型计划检验
机译:考虑水平排水管组合排水的排水系统排水能力试验方法研究:第1部分:组合排水试验方法与管网模型的建议与检验
机译:基于期望的方法对边界网关协议的基于策略的安全性
机译:Karasek的工作需求控制模型:一项多方法研究,检验了工具反馈作为二阶主持人变量的预测有效性
机译:使用公共区块链增强边界网关协议安全性
机译:用蒙特卡洛统计检验方法研究心理教学实验结果近似值的准确性,第1部分。真实模型的构建
机译:提高飞机安全性的方法研究。
机译:三维阶段机器的模型检验和该模型检验的校准程序
机译:用于检验者的两轴可调整/可设置的模型平台装置以及用于在其上安装模型平台装置的义齿设计义齿的检验者装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。