微内核架构内存管理的形式化设计和验证方法研究
钱振江, 刘永俊, 姚宇峰, 汤力, 黄皓, 宋方敏
Research on Method of Formal Design and Verification of Memory Management Based on Microkernel Architecture
QIAN Zhen-jiang, LIU Yong-jun, YAO Yu-feng, TANG Li, HUANG Hao, SONG Fang-min
电子学报
.
2017, (1): 251
-256
.
DOI: 10.3969/j.issn.0372-2112.2017.01.035