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

相关作者

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