基于有限状态机的操作系统需求层形式化验证

中国科技核心期刊

中文核心期刊

CSCD来源期刊

张锦坤, 杨孟飞, 乔磊, 杨桦, 刘波

Formal Verification of Operating System Requirements Layer#br# Based on Finite State Machine#br#

空间控制技术与应用 . 2019, (2): 48 - .