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