退出
我的积分:
中文文献批量获取
外文文献批量获取
王天辰; 赵承鼎; 魏鑫; 高艳华;
北京控制与电子技术研究所计算机软件技术研发中心,北京100038;
北京航空航天大学计算机学院,北京100191;
微内核; 分区操作系统; 健康监控; 错误截获; 错误处理;
机译:seL4:操作系统内核的形式验证
机译:大坝远程监控设计的操作系统
机译:基于分区的操作系统:正式模型
机译:基于嵌入式操作系统的实时温度监控设计
机译:通过基于seL4的通信框架提高楼宇自动化系统的安全性
机译:勘误到:基于实验的基于NIR光谱的胰岛素喷雾干燥过程关键质量属性监控设计
机译:医学学生对基于学习操作系统的定制云学习操作系统集成的看法在基于问题的学习教程中
机译:基于微处理器的控制,接口和监控设计(用于涡轮发动机控制研究的Cim单元)
机译:个人计算机软件完整性启动和测试-在ROM-BIOS中进行开机自检,加载分区,加载操作系统分区的启动扇区,启动操作系统和内核,以及使用单向哈希函数进行加密密钥和测试
机译:用于对分区计算机系统的内存请求进行交织的系统限制了复杂管理代码所使用的分区内存的受保护部分,以防止运行在内存分区中的操作系统访问
机译:具有基于颜色的健康状态主题的操作系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。