• / 13
  • 下载费用:10  

一种面向嵌入式安全关键软件的程序证明框架

关 键 词:
安全关键嵌入式 嵌入式 安全关键 一个嵌入式 的框架 面向安全关键 安全的 软件框架 ..
  大分享文库-在线教育资源下载分享平台 所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
0条评论

还可以输入200字符

暂无评论,赶快抢占沙发吧。

关于本文
本文标题:一种面向嵌入式安全关键软件的程序证明框架
链接地址:https://www.west960.com/p-303555.html

当前资源信息

老匡分享

编号: 20181012084100434165

类型: 共享资源

格式: DOC

大小: 1.58MB

上传时间: 2018-10-12

关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

copyright@ 2008-2020 大分享文库网 版权所有
经营许可证编号:豫ICP备11013292号-2

客服QQ:1965775022

收起
展开