基于形式化监控的可信软件构造模型

文件格式: PDF文档
文件大小: 339.24 KB
资源类别: 计算机
关键词: 可信   构造   监控   基于   模型
进入标准下载页面
本资源下载需 1

论文简介

基于形式化监控的可信软件构造模型
相关推荐