CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 源码下载 多媒体 搜索资源 - Polyspace

搜索资源列表

  1. AddingAssurancetoAutomaticallyGeneratedCode

    0下载:
  2. 码估计立场和态度的航天器或飞机属于最安全的关键部分航班software.The基本数学复杂和丰富的设计细节使它容易出错的,可靠的实现是一个程序costly.AutoFilter合成工具自动生成状态估计代码紧凑specifications.It可以自动产生更多的安全证书,正式保证每个单独的程序满足了一套重要的安全policies.These安全政策(例如,数组越界,变量初始化)形成核心财产所必需的高保证software.Here我们描述了自动过滤系统及其证书发生器和比较我们的方法来静态分析工具Po
  3. 所属分类:Multimedia program

    • 发布日期:2017-04-04
    • 文件大小:26.13kb
    • 提供者:liying
搜珍网 www.dssz.com