一种基于Event-B语言的时间触发系统建模方法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

一种基于Event-B语言的时间触发系统建模方法

姚袭欣, 章博, 陈香兰, 乔磊, 李曦

A time-triggered system modeling method based on Event-B

YAO Xi-xin, ZHANG Bo, CHEN Xiang-lan, QIAO Lei, LI Xi

计算机工程与科学 . 2023, (04): 613 -621 .