首页|CAN总线位定时与同步机制的形式化研究

CAN总线位定时与同步机制的形式化研究

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
  • 维普
应用UPPAAL理论对CAN总线位定时与同步机制进行形式化建模方法研究。给出一种基于CAN2.0总线协议位时间的优化方法，在此基础上设计出相应的时间时动机模型，实现位定时和同步的功能。

廖志辉

展开 >

同济大学软件学院 上海 201804

CAN总线 位定时 同步 时间自动机 UPPAAL

2014

科技创业家
国家科技部《大众科技报社》

科技创业家

ISSN：2095-1043
年,卷(期)：2014.(2)
  • 1
  • 2