基于时间自动机的操作系统中断管理建模与验证

中国科技核心期刊

中文核心期刊

CSCD来源期刊

王若川, 杨孟飞, 乔磊

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

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

空间控制技术与应用 . 2014, (4): 52 -56 . DOI: 10.3969/j.issn.1674-1579.2014.04.010