首页
>
招投标
>
安全设计工具
"安全设计工具"标讯
中标
高完整计算处理与端系统芯片安全设计工具中标公告
金额
530万元
项目地址
陕西省
发布时间
2025/01/21
招标产品
安全设计工具
招标公司
中国航空工业集团公司西安航空计算技术研究所
中标公司
西北工业大学
中标
高完整计算处理与端系统芯片安全设计工具中标公示
发布时间
2025/01/21
招标产品
安全设计
计算处理
中标
高完整计算处理与端系统芯片安全设计工具中标候选人公示
金额
530万元
项目地址
陕西省
发布时间
2025/01/17
招标产品
安全设计
计算处理
招标公司
中国航空工业集团公司西安航空计算技术研究所
中标公司
西北工业大学
招标
高完整计算处理与端系统芯片安全设计工具项目招标公告
项目地址
陕西省
发布时间
2024/12/24
招标产品
通用验证方法学
约束驱动验证
安全性分析
高完整芯片
安全性设计
静态和动态验证
安全设计工具
内建自测试
故障树分析
影响分析
断言
招标公司
中国航空工业集团公司西安航空计算技术研究所
招标
高完整计算处理与端系统芯片安全设计工具流标公告
项目地址
陕西省
发布时间
2024/11/20
招标产品
安全设计工具
招标公司
中国航空工业集团公司西安航空计算技术研究所
招标
高完整计算处理与端系统芯片安全设计工具终止公告
项目地址
陕西省
发布时间
2024/11/20
招标产品
安全设计
招标公司
中国航空工业集团公司西安航空计算技术研究所
招标
高完整计算处理与端系统芯片安全设计工具项目招标公告
项目地址
陕西省
发布时间
2024/10/28
招标产品
安全设计工具
高完整计算处理与端系统芯片安全设计工具
招标公司
中国航空工业集团公司西安航空计算技术研究所
中标
中国科学院信息工程研究所开发平台软件电子竞价成交公告
金额
40万元
项目地址
北京市
发布时间
2020/09/04
招标产品
开发平台软件
电子竞价
工控协议安全设计工具
环保产品
返回顶部
