通过定时自动机验证can总线的实时特性 电子书下载

原名:verifying real-time properties of can bus by timed automata
作品简介:基于控制器局域网 (CAN) 的广播通信。这
关键（应用软件、操作系统和通信总线）
自动机。……