中国科技核心期刊

中文核心期刊

CSCD来源期刊

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