| 注册
首页|期刊导航|计算机应用与软件|智能汽车CAN总线通信系统的建模与验证

智能汽车CAN总线通信系统的建模与验证

张芮 王瑞 楚敏

计算机应用与软件2020,Vol.37Issue(7):1-8,42,9.
计算机应用与软件2020,Vol.37Issue(7):1-8,42,9.DOI:10.3969/j.issn.1000-386x.2020.07.001

智能汽车CAN总线通信系统的建模与验证

MODELING AND VERIFICATION OF CAN BUS COMMUNICATION SYSTEM IN INTELLIGENT VEHICLE

张芮 1王瑞 2楚敏3

作者信息

  • 1. 首都师范大学信息工程学院 北京100048
  • 2. 首都师范大学轻型工业机器人与安全验证北京市重点实验室 北京100048
  • 折叠

摘要

关键词

形式化验证/智能汽车/控制器局域网络总线/通信系统/时间自动机

分类

信息技术与安全科学

引用本文复制引用

张芮,王瑞,楚敏..智能汽车CAN总线通信系统的建模与验证[J].计算机应用与软件,2020,37(7):1-8,42,9.

基金项目

国家自然科学基金项目(61702348,61572331,61472468). (61702348,61572331,61472468)

计算机应用与软件

OA北大核心CSTPCD

1000-386X

访问量4
|
下载量0
段落导航相关论文