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

Autor: 姚袭欣, 章博, 陈香兰, 乔磊, 李曦
Zdroj: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue; Apr2023, Vol. 45 Issue 4, p613-621, 9p
Databáze: Complementary Index