Formal Modeling and Verification of TaskManagement Requirement for SpaceOS2 Based on Event-B

TAN Yan-Liang, YANG Hua, QIAO Lei

Aerospace Contrd and Application . 2014, (4): 57 -62 . DOI: 10.3969/j.issn.1674-1579.2014.04.011