2020-07-14

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

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

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

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