内核数据结构相关硕士博士期刊学术论文 - 搜论网

内核数据结构相关论文

基于LINUX的嵌入式操作系统设备驱动程序的研究与实现

嵌入式系统是以应用为中心,以计算机技术为基础,并且软硬件可裁剪,适用于应用系统对功能、可靠性、成本、体积、功耗有严格要求的......

学位

嵌入式LINUX RTOS 内核数据结构内核接口 BSP 设备驱动程序

复杂内核数据结构的形式化描述和验证

对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数......

期刊

内核数据结构形式化验证分离逻辑内核验证

看过本文同时还关注