电讯技术2023，Vol.63Issue(9)：1419-1426,8.DOI:10.20079/j.issn.1001-893x.220415003
面向CAN总线健壮性的形式化建模与验证
Robustness Verification Technology of CAN Bus Based on Formalization
摘要
关键词
CAN总线/健壮性验证/需求建模/模型检测/时间自动机Key words
controller area network(CAN)bus/robustness verification/requirements modeling/model checking/timed automata分类
信息技术与安全科学引用本文复制引用
王一华,周晴,胡婉如,杜家昊..面向CAN总线健壮性的形式化建模与验证[J].电讯技术,2023,63(9):1419-1426,8.基金项目
民用航天技术预先研究项目(B0204) （B0204）
