摘要：DiOS: 一个轻量级模型操作系统及其实证评估
作者：Petr Rov{c}kai, Zuzana Baranov''a, Jan Mr''azek, Katar''ina Kejstov''a, Jiv{r}''i Barnat
论文ID：1907.03356
分类：Operating Systems
分类简称：cs.OS
提交时间：2019-07-09
PDF 下载： 英文版 中文版pdf翻译中