高可信软件相关论文
随着Internet的广泛应用和移动计算领域的不断扩大，人们对高可信软件的需求越来越多，从而对软件的可靠性和安全性提出了更高的挑战，因......
形式化方法可以对系统进行严格的规约,并可以从不同的角度验证开发的系统是否具有所期望的性质,在高可信软件的开发中越来越受重视......
NAND闪存已经成为主流的存储介质,并被广泛地应用到嵌入式、桌面、服务器以及数据中心等各种计算机系统中,并仍迅速地挤占传统纯磁......
