首页
>
招投标
>
模型自动化测试
"模型自动化测试"标讯
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具国际标招标公告
项目地址
北京市
发布时间
2024/06/03
招标产品
信号控制系统
模型自动化测试
自动化模型测试
飞行控制系统
核反应堆保护系统
基于模型
目标机端
基于严谨的数学理论
模型仿真
嵌入式控制软件
高安全性系统
保证代码与模型
代码验证工作
形式化同步语言
快速原型构建
主机端
代码自动生成
基于模型的软件验证工具
测试工程
集成开发
测试活动自动化提升测试
高安全性的软件
基于模型的软件详细设计工具
基于模型的软件自动代码生成工具
招标公司
北京控制与电子技术研究所
中标
中国长安汽车集团有限公司模型自动化测试软件采购项目评审结果公示
项目地址
北京市
发布时间
2023/11/23
招标产品
测试软件
招标公司
南方工业科技贸易有限公司
招标
中国长安汽车集团有限公司模型自动化测试软件采购项目询比采购公告
项目地址
北京市
发布时间
2023/10/27
招标产品
测试软件
招标公司
中国长安汽车集团有限公司
返回顶部
