产品
AI拓客
AI外呼
AI销售助理
AI标讯
专项拓客
融资榜单
热门赛道
IT厂商
央企国企
最新标讯
全国标讯
解决方案
全球拓客解决方案
IT行业解决方案
产业园区解决方案
猎头领域解决方案
伙伴计划
关于我们
关于我们
加入我们
给力商讯
注册/登录
首页
>
招投标
>
FormalRun
"FormalRun"标讯
招标
AOT应用软件开发和测试程序开发-招标公告
项目地址
上海市
发布时间
2024/04/23
招标产品
001AOT应用软件开发
AOT应用软件开发和测试程序开发
工程审查
适航审查
项目计划文档
工作指南
模板
检查单
验证
高层需求开发
软件架构
低层需求开发
软件代码实现
软件集成
测试用例
程序设计
技术
正式同行评审
宿主机环境DryRun
测试覆盖分析
结构覆盖分析
FormalRun
招标公司
中国航空无线电电子研究所
招标
AOT应用软件开发和测试程序开发招标公告
项目地址
上海市
发布时间
2024/04/23
招标产品
软件架构
软件高层需求开发
宿主机环境DryRun
软件代码实现
测试覆盖分析
测试程序设计
AOT应用软件开发
工作指南
测试程序技术
检查单
适航审查
FormalRun
验证
正式同行评审
结构覆盖分析
工程审查
项目计划文档
程序开发
测试用例
模板
软件集成
招标公司
中国航空无线电电子研究所
招标
AOT应用软件开发和测试程序开发招标公告
项目地址
上海市
发布时间
2024/03/21
招标产品
软件架构
软件高层需求开发
宿主机环境DryRun
软件代码实现
测试覆盖分析
测试程序设计
工作指南
AOT应用软件
低层需求开发
测试程序技术
检查单
适航审查
验证
FormalRun
正式同行评审
结构覆盖分析
工程审查
项目计划文档
程序开发
测试用例
模板
软件开发
软件集成
招标公司
中国航空无线电电子研究所
招标
AG600航电系统PFD和EICAS软件验证-招标公告
项目地址
上海市
发布时间
2023/10/09
招标产品
结构覆盖分析
软件验证
模型覆盖分析
PFD
高/低层需求测试覆盖分析
基于高/低层需求的测试
FormalRun
招标公司
中国航空无线电电子研究所
返回顶部
