基于FeaVer的MINIX 3验证和改进

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于FeaVer的MINIX 3验证和改进

全嘉辉, 张欢欢

Verification and Improvement of MINIX 3 Based on FeaVer

QUAN Jia-Hui, ZHANG Huan-Huan

计算机工程 . 2010, (22): 46 -48 . DOI: 10.3969/j.issn.1000-3428.2010.22.016