搜索到 篇“ 微内核操作系统 “的相关文章

相关作者

肖堃
作品数：21被引量：8H指数：1
供职机构：电子科技大学
研究主题：微内核操作系统 微内核 嵌入式系统 TRUSTZONE 基于微内核
陈少波
作品数：10被引量：7H指数：2
供职机构：广东石油化工学院
研究主题：操作系统 微内核操作系统 微内核 高校 信息传递
黄皓
作品数：215被引量：1,266H指数：18
供职机构：南京大学
研究主题：网络安全 入侵检测 访问控制 操作系统 计算机网络
郭建
作品数：38被引量：17H指数：2
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
曾小平
作品数：10被引量：41H指数：2
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题：计算机 操作系统 SPI演算 微内核操作系统 微内核