跳转到主要内容区域
中央政府门户网
|
kaiyun1
|
繁體
|
English
kaiyun(中国)体育
kaiyun5
kaiyun1
|
kaiyun.体育
|
kaiyun.中国
|
政务公开
|
政务服务
|
政民互动
|
走进四川
kaiyun1
kaiyun.体育
kaiyun.中国
政务公开
政务服务
政民互动
走进四川
kaiyun1
kaiyun5
|
无障碍
|
长者专区
|
繁
|
简
|
网站支持IPv6
2020-07-14
我省批准建设四川省系统可信性自动验证工程实验室
2014年12月10日 11时39分
来源: 四川省发展和改革委员会网站
【字体:
大
中
小
】
近日,我委批复同意由西南交通大学实施四川省系统可信性自动验证工程实验室项目。该项目将建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台,构建系统可信性自动验证研发平台,为复杂大系统的安全运行提供科学依据,为多种系统提供可信性自动验证的科学有效工具。
责任编辑: 雷晓琦
扫一扫在手机打开当前页
相关附件>>
相关链接>>
0fb64cacb4b84c819b167045e957d8e7:
我省批准建立“四川省视频图像处理与分析技术工程实验室项目”
0fb64cacb4b84c819b167045e957d8e7:
我省批准建立“四川省移动终端安全保密技术工程实验室项目”
打印本页
关闭窗口
我省批准建设四川省系统可信性自动验证工程实验室
我省批准建设四川省系统可信性自动验证工程实验室
2014年12月10日 11时39分
来源: 四川省发展和改革委员会网站
近日,我委批复同意由西南交通大学实施四川省系统可信性自动验证工程实验室项目。该项目将建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台,构建系统可信性自动验证研发平台,为复杂大系统的安全运行提供科学依据,为多种系统提供可信性自动验证的科学有效工具。
责任编辑: 雷晓琦
扫一扫在手机打开当前页
打印本页
关闭窗口
网站地图
主编信箱
联系我们
网站声明
主办单位:四川省人民政府办公厅
运行维护单位:中国电信四川公司
网站标识码5100000062
蜀ICP备 13001288号
川公网安备 51010402000507号
微信
微博
客户端
头条号
手机版
电脑版
map