"软件验证工具"标讯
中标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具-结果公告
金额
795万元
项目地址
北京市
发布时间
2024/07/16
招标产品
软件验证工具基于模型的软件详细设计工具
招标公司
北京控制与电子技术研究所
中标公司
上海创景信息科技股份有限公司
中标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具中标结果公告(1)
金额
795万元
项目地址
北京市
发布时间
2024/07/16
招标产品
软件自动代码生成工具基于模型软件验证工具软件详细设计工具
招标公司
北京控制与电子技术研究所
中标公司
上海创景信息科技股份有限公司
中标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具评标结果公示公告
项目地址
上海市
发布时间
2024/07/13
招标产品
基于模型的软件详细设计工具基于模型的软件自动代码生成工具基于模型的软件验证工具
中标公司
上海创景信息科技股份有限公司
中标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具评标结果公示公告
金额
795万元
项目地址
北京市
发布时间
2024/07/12
招标产品
基于模型的软件详细设计工具基于模型的软件验证工具软件详细设计工具软件自动代码生成工具
招标公司
北京控制与电子技术研究所
中标公司
上海创景信息科技股份有限公司
中标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具-中标候选人公示
金额
795万元
项目地址
北京市
发布时间
2024/07/12
招标产品
设计
招标公司
北京控制与电子技术研究所
中标公司
上海创景信息科技股份有限公司
中标
面向DSP28XX平台软件适航的健壮性测试与分析工具中标候选人公示
金额
298.8万元
项目地址
天津市
发布时间
2024/06/19
招标产品
运行时错误检测模块堆栈分析模块最差执行时间分析模块软件验证工具健壮性测试
招标公司
天津航空机电有限公司
中标公司
上海创景信息科技股份有限公司
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具项目变更公告
项目地址
北京市
发布时间
2024/06/06
招标产品
软件自动代码生成工具软件验证工具软件详细设计工具
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具-变更公告
项目地址
北京市
发布时间
2024/06/06
招标产品
设计
招标公司
北京控制与电子技术研究所
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具-变更公告
项目地址
北京市
发布时间
2024/06/06
招标产品
设计
招标公司
北京控制与电子技术研究所
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具-招标公告
项目地址
北京市
发布时间
2024/06/03
招标产品
基于模型的软件详细设计工具基于模型的软件自动代码生成工具基于模型的软件验证工具
招标公司
北京控制与电子技术研究所
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具国际标招标公告
项目地址
北京市
发布时间
2024/06/03
招标产品
信号控制系统模型自动化测试自动化模型测试飞行控制系统核反应堆保护系统基于模型目标机端基于严谨的数学理论模型仿真嵌入式控制软件高安全性系统保证代码与模型代码验证工作形式化同步语言快速原型构建主机端代码自动生成基于模型的软件验证工具测试工程集成开发测试活动自动化提升测试高安全性的软件基于模型的软件详细设计工具基于模型的软件自动代码生成工具
招标公司
北京控制与电子技术研究所
招标
面向DSP28XX平台软件适航的健壮性测试与分析工具招标公告
项目地址
天津市
发布时间
2024/05/27
招标产品
运行时错误检测模块堆栈分析模块最差执行时间分析模块软件验证工具健壮性测试分析工具
招标公司
天津航空机电有限公司
招标
分谈+709所+YB基于申威架构的安全防护软件验证工具
发布时间
2024/01/12
招标产品
安全防护软件验证工具
招标公司
中国船舶集团有限公司第七○九研究所
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具终止公告
发布时间
2023/12/07
招标产品
软件自动代码生成工具软件验证工具软件详细设计工具
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具
项目地址
北京市
发布时间
2023/12/06
招标产品
软件自动代码生成工具软件验证工具软件详细设计工具
招标公司
北京控制与电子技术研究所
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具终止公告
发布时间
2023/12/06
招标产品
软件自动代码生成工具软件验证工具软件详细设计工具
招标
基于模型的软件详细设计工具，基于模型的软件自动代码生成工具，基于模型的软件验证工具招标公告(1)
项目地址
北京市
发布时间
2023/12/05
招标产品
软件详细设计工具基于模型的软件自动代码生成工具基于模型的软件验证工具运用数据流图有限状态机设计模型支持测试用例
招标公司
北京控制与电子技术研究所
招标
基于模型的软件详细设计工具，基于模型的软件自动代码生成工具，基于模型的软件验证工具招标公告
项目地址
北京市
发布时间
2023/12/01
招标产品
基于模型的软件详细设计工具基于模型的软件自动代码生成工具基于模型的软件验证工具运用数据流图
招标公司
北京控制与电子技术研究所
招标
基于模型的软件详细设计工具、基于模型的软件自动代码生成工具、基于模型的软件验证工具招标公告
项目地址
北京市
发布时间
2023/12/01
招标产品
支持测试用例的快速设计与编写软件详细设计工具基于模型的软件验证工具有限状态机运用数据流图基于模型的软件自动代码生成工具
招标公司
北京控制与电子技术研究所
中标
高可靠性软件验证工具-结果公告
金额
88万元
项目地址
陕西省
发布时间
2019/06/11
招标产品
高可靠性软件验证工具
招标公司
西安现代控制技术研究所
中标公司
湖南泛联新安信息科技有限公司 共4家
共22条
   

产品

AI拓客

AI外呼

AI标讯

融资榜单

热门赛道

IT厂商

最新标讯 / 全国标讯

联系我们

上海总部：上海市浦东新区纳贤路800号科海大楼2层
无锡分公司：无锡市中国传感网国际创新园F11栋2楼

邮      箱：bd@datauseful.com

给力助理小程序

给力助理小程序

给力讯息APP二维码

给力讯息APP

给力商讯公众号二维码

给力商讯公众号

模型名称：给力问答
备案号：Shanghai-GeiLiWenDa-20240729S0019
《关于给力问答大模型》
服务协议

版权所有©上海优司服信息科技有限公司   沪ICP备2022009382号 沪ICP备2022009382号-1

给力讯息APP给力商讯微信公众号
返回顶部