计算机工程与科学2023，Vol.45Issue(4)：613-621,9.DOI:10.3969/j.issn.1007-130X.2023.04.007
一种基于Event-B语言的时间触发系统建模方法
A time-triggered system modeling method based on Event-B
摘要
关键词
Event-B/实时系统建模/时间触发系统/分布式多时钟分类
信息技术与安全科学引用本文复制引用
姚袭欣,章博,陈香兰,乔磊,李曦..一种基于Event-B语言的时间触发系统建模方法[J].计算机工程与科学,2023,45(4):613-621,9.基金项目
国家自然科学基金(61772482) （61772482）
开放基金(OBCandETL-2020-02) （OBCandETL-2020-02）
