基于Event-B的SpaceOS2操作系统任务管理
需求形式化建模与验证
谭彦亮, 杨桦, 乔磊
Formal Modeling and Verification of TaskManagement
Requirement for SpaceOS2 Based on Event-B
TAN Yan-Liang, YANG Hua, QIAO Lei
空间控制技术与应用
.
2014, (4): 57
-62
.
DOI: 10.3969/j.issn.1674-1579.2014.04.011
