摘要：混合临界系统：seL4微内核中的不对称完整性
作者：Anna Lyons and Gernot Heiser
论文ID：1606.00111
分类：Operating Systems
分类简称：cs.OS
提交时间：2016-06-03
PDF 下载： 英文版 中文版pdf翻译中