基于Coq的微内核操作系统程序验证方法的研究

Name: 基于Coq的微内核操作系统程序验证方法的研究
Rating: 4.5 (52 reviews)
Author: u12617

上传者：u12617 2019-02-16 08:14:51上传其他文件 500kb 热度 52次

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

基于Coq的微内核操作系统程序验证方法的研究

大小：0B | 2019-02-16 08:14:51
FreeNOS微内核操作系统

FreeNOS微内核操作系统，大名鼎鼎，好好学习必然会受益匪浅的。

大小：0B | 2019-05-16 14:41:01
基于UHomeOS的微内核操作系统驱动复用技术研究

目前,物联网情景下的使用Linux以及Unix系统存在不适用的问题,在该环境下,需要使用物联网专用的...

大小：1.43MB | 2021-01-15 22:42:39
微内核操作系统综述microkernel os survey

1980-2000年间，microkernel操作系统被广泛研究，目的是解决macrokernel的...

大小：0B | 2019-09-14 10:33:39
FreeNOS_0.0.4微内核操作系统源码

现在做的比较有研究价值的unix操作系统，目前谷歌也在做一款平台通用的unix微核操作系统，大家也可...

大小：0B | 2019-07-10 02:28:50
支持多核架构的微内核操作系统设计

支持多核架构的微内核操作系统设计

大小：0B | 2019-05-08 04:39:07
支持多核架构的微内核操作系统设计.pdf

大小：0B | 2019-03-30 06:11:09
helenos_新一代的微内核操作系统

新一代的微内核操作系统，设计体系结构采用多server的模式，安全性高

大小：0B | 2018-12-28 11:02:53
网络与信息安全具有安全权限的微内核操作系统模型

网络与信息安全――具有安全权限的微内核操作系统模型

大小：0B | 2018-12-28 20:59:18
主教分号Cardinal高度模块化面向安全的微内核操作系统源码

主教分号:Cardinal; -高度模块化,面向安全的微内核操作系统

大小：2.43MB | 2021-02-06 04:21:54
resea基于微内核的可入侵操作系统源码

返航 Resea [ríːseə]是从头开始编写的基于微内核的操作系统。它旨在提供引人入胜的开发人...

大小：350KB | 2021-02-05 21:16:04
基于微内核的小型操作系统的设计与实现

大小：0B | 2019-01-02 02:22:56
微内核Manycores的研究微内核源码

微内核:Manycores的研究微内核

大小：1.79MB | 2021-02-09 20:33:12
QNX– 微内核结构的实时操作系统

微内核,qnx,vxworksQNX–微内核结构的实时操作系统

大小：0B | 2020-03-03 10:37:55
网络与信息安全论文00具有安全权限的微内核操作系统...

很好的论文,希望能帮到你们

大小：30KB | 2021-01-03 01:31:14
QNX–微内核结构的实时操作系统.pdf

QNX–微内核结构的实时操作系统.pdf------不知道怎么删除这个资源，请大家不要下这个，下载q...

大小：0B | 2019-05-15 11:25:22