基于EventB的中断管理需求和设计形式化建模与验证方法
周育逵, 杨桦, 乔磊
Formal Modeling and Verification Method of InterruptManagement
Requirement and Design Based on EventB
ZHOU Yu-Kui, YANG Hua, QIAO Lei
空间控制技术与应用
.
2017, (3): 71
-78
.
DOI: 10.3969/j.issn.1674-1579.2017.03.012