Modeling and Verification of Operating System Interrupt Management Based on Timed Automata

WANG Ruo-Chuan, YANG Meng-Fei, QIAO Lei

Aerospace Contrd and Application . 2014, (4): 52 -56 . DOI: 10.3969/j.issn.1674-1579.2014.04.010