退出
我的积分:
中文文献批量获取
外文文献批量获取
鱼先锋;
商洛学院数学与计算机应用学院 商洛 726000;
中药自动抓药系统; 时序控制矩阵; 不动点; 模型检测;
机译:基于服务的系统设计的自动定量验证:可视化转换工具的观点
机译:使用白盒交换机和OSS的网络验证自动化系统设计提案
机译:容错参数化系统设计和验证的自动支持:一个案例研究
机译:长柄中药材收割机抓带速度自动控制系统设计
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:V2X通讯辅助自动驾驶:系统设计和实验验证
机译:基于知识的飞机自动化:管理人员使用人工智能进行飞机自动化和基于神经的飞行控制器的验证和验证方法指南
机译:存储验证支持程序,验证支持设备和用于支持对包括不同硬件型号的硬件系统设计进行验证的验证支持方法的计算机可读记录介质
机译:自动验证技术系统设计的方法和装置
机译:用于系统设计要求的自动标准化和验证的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。