空间控制技术与应用2014，Vol.40Issue(4)：52-56,5.DOI:10.3969/j.issn.1674-1579.2014.04.010
基于时间自动机的操作系统中断管理建模与验证
Modeling and Verification of Operating System Interrupt Management Based on Timed Automata
摘要
关键词
中断管理/时间自动机/形式化验证/建模Key words
interrupt management/timed automata/formal verification/modeling分类
信息技术与安全科学引用本文复制引用
王若川,杨孟飞,乔磊..基于时间自动机的操作系统中断管理建模与验证[J].空间控制技术与应用,2014,40(4):52-56,5.基金项目
国家自然科学基金资助项目(91118007). （91118007）
