退出
我的积分:
中文文献批量获取
外文文献批量获取
张岩; 杨磊; 曾湘毅; 孙文桥; 刘启钢;
中国铁道科学研究院集团有限公司运输及经济研究所 北京100081;
中国铁道科学研究院集团有限公司铁道科学技术研究发展中心 北京100081;
中国铁路南宁局集团有限公司柳州车站 广西柳州545007;
安全通信协议; 协议规范验证; 模型检验; 接口自动机网络; 列车控制系统; 着色Petri网;
机译:高性能的对等云和对等模型,增强了分层安全通信
机译:分层压实路基和工程示例分析质量检验方法
机译:食品中残留农药和兽药的检验方法食品中农药,兽药成分的农药,饲料添加剂或物质的检验方法(HPLC)(101)兽药等同时检验方法II (畜牧和水产品)
机译:木结构螺钉的JIS检验方法的研究第1部分:JIS检验方法的检验
机译:二分项反应理论和贝叶模型的贝叶斯模型检验方法
机译:具有间隔时间间隔数据的比例风险模型的模型检验方法
机译:分层水库电流。第一部分输入密度分层模型油藏的流量对流量的影响。第二部分。非齐次无约束标记和细胞计算的Numac方法
机译:用于基于表的协议规范和模型生成的方法和工具
机译:船舶模型分层和船舶模型的生产以及使用船舶模型分层架的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。