Formal Modeling and Verification Method of InterruptManagement Requirement and Design Based on EventB

ZHOU Yu-Kui, YANG Hua, QIAO Lei

Aerospace Contrd and Application . 2017, (3): 71 -78 . DOI: 10.3969/j.issn.1674-1579.2017.03.012