科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用CSP B验证关键车辆的排
Colin Samuel; Lanoix Arnaud; Kouchnarenko Olga; Souquières Jeanine;
机译:通过可理解的分析来验证车辆排的性能
机译:车辆排和排操作的概念化
机译:车辆排的随机建模(I):动态分组行为和在线排识别
机译:对排中的车辆进行效率驱动的攻击:本地车辆控制,排控制策略和传动系统技术注意事项。
机译:车辆到车辆(V2V)消息内容通过低功耗信标检查粘盘
机译:使用Csp验证Cristal车辆排 B
机译:在车道改变的车道变化期间通过车辆排的至少一个第二车辆在车道变化期间传输车辆车辆车辆车辆的车辆的车辆和用于处理由车辆排的第一车辆进行处理的辅助请求的方法
机译:用于在车辆排中的车辆之间进行通信以识别车辆排中的车辆的方法,以及用于识别车辆排中的车辆的相应装置和区块链的使用
机译:在至少两个车辆的车道变化期间,在车辆排的车辆之间传送信息的方法和处理车辆排的第一车辆的辅助请求输出的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。