2020-07-14

我省批准建设 中国福彩app官方下载：系统可信性自动验证工程实验室

  • 2014年12月10日 11时39分
  • 来源: 中国福彩app官方下载：发展和改革委员会网站
  • 【字体：大 中 小】
    		•
    　　近日，我委批复同意由西南交通大学实施 中国福彩app官方下载：系统可信性自动验证工程实验室项目。该项目将建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台，构建系统可信性自动验证研发平台，为复杂大系统的安全运行提供科学依据，为多种系统提供可信性自动验证的科学有效工具。
    责任编辑： 雷晓琦
    扫一扫在手机打开当前页

    相关附件>>

    我省批准建设 中国福彩app官方下载：系统可信性自动验证工程实验室

  • 2014年12月10日 11时39分
  • 来源: 中国福彩app官方下载：发展和改革委员会网站
    • 　　近日，我委批复同意由西南交通大学实施 中国福彩app官方下载：系统可信性自动验证工程实验室项目。该项目将建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台，构建系统可信性自动验证研发平台，为复杂大系统的安全运行提供科学依据，为多种系统提供可信性自动验证的科学有效工具。
    责任编辑： 雷晓琦
    扫一扫在手机打开当前页
    网站地图 主编信箱 联系我们 网站声明
    主办单位：中国福彩app官方下载办公厅
    运行维护单位：中国电信四川公司
    网站标识码5100000062?蜀ICP备 13001288号?川公网安备?51010402000507号
  • 微信
  • 微博
  • 客户端
  • 头条号
    • 手机版 电脑版