可信软件基础研究吧

展开

可信软件基础研究

作者:可信软件基础研究项目组

计算机网络编程语言与程序设计

本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标,针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题,从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究,取得了重要成果和进展。

立即阅读 目录

更多开云(中国)

因版权要求不提供章节预览,请下载 App 畅读

相关开云(中国)