设为首页
网站地图
帮助
手机版
登录
注册
搜索
地市：
行业：
返回首页
搜索结果
新产品
新技术
企业
合作（1）
公共服务
资讯
知识
安全关键软件测试与验证环境TesVESS
关键字：
安全关键软件
所属行业：
电子信息
发布时间：
2015-09-09
价格：
所在地区：
湖南 长沙
合作信息期限：
2016年4月
合作信息类型：
意向合作
机构类型：
高等院校
供求关系：
供应
合作信息简介：
成果名称：安全关键软件测试与验证环境TesVESS 成果简介 TesVESS是一个安全关键软件的测试与验证环境，能够从软件分析和设计阶段开始对软件的可靠性和可靠安全性进行保障。它以软件分析和设计模型为基础，有效地融合了安全关键性质的模型检验、针对安全关键性质的测试用例生成、安全关..
发布机构：
湖南长沙国防科技大学科研部
共
1
页 总数：
2
条
设为首页
|
关于我们
|
会员服务
|
友情链接
|
联系我们
中国·广西工业创新促进会 ©版权所有 桂ICP备14000625号-2