代码路径相关论文
为了满足面向访问验证保护级的要求，研发新一代高等级安全操作系统，我们采用微内核的架构设计和实现了面向访问验证保护级的安全操作......
嵌入式系统软件可靠性设计不足引发的问题数量呈上升趋势,如何在软件产品交付前评估软件可靠度已成为亟待解决的问题.当前的软件可......
