智能制造评估

加盟VIP

e-works数字化企业网 » 资料 » 数据中心

Isabelle在分析安全操作系统状态机模型中的应用

发布时间：2008-08-16

作者：陈冲贺也平

文档大小：410KB

星级：

下载所需E币：免费

相关文档推荐

智能制造现代数据中心

浅析数据中心供电系统运行中的常见问题及防范

能源互联网下基于储能调度及多源供能的数据中心能效优化

一种构建超大规模数据中心的模块化网络结构

高校数据中心的建设模式

全媒体云数据中心构建探索

云计算数据中心的新能源应用：研究现状与趋势

面向云计算数据中心的能耗建模方法

我国数据中心能耗及能效水平研究

数据中心网络的研究进展与趋势

关键词阅读

形式化 Isabelle工具状态机模型安全操作系统可信进