电子系统研发工具业务-凯发k8一触即发

 development service

development service

研发服务
全部分类
helix qac—软件静态测试工具
编号:
0.00
0.00
编号:
浏览量:
1000
关键字:
stimulus—需求形式化建模和分析工具
编号:
2111
0.00
0.00
编号:
2111
浏览量:
1000
关键字:
系统
stimulus
验证
rhapsody—mbse开发工具
编号:
2112
0.00
0.00
编号:
2112
浏览量:
1000
关键字:
模型
测试
rhapsody
嵌入式
catiamagic—机电mbse开发工具
编号:
2113
0.00
0.00
编号:
2113
浏览量:
1000
关键字:
建模
协同
流程
集成
mbse
symtavision—分布式嵌入式系统时间建模分析和验证工具
编号:
2114
0.00
0.00
编号:
2114
浏览量:
1000
关键字:
symtavision
嵌入式
建模
分析
验证
dymola—多学科系统仿真平台
编号:
2115
0.00
0.00
编号:
2115
浏览量:
1000
关键字:
模型
仿真
控制
dymola
设计
管理
模型库
tisc—系统多学科协同仿真平台
编号:
2116
0.00
0.00
编号:
2116
浏览量:
1000
关键字:
仿真
软件
模型
平台
系统
tisc
twin-builder—系统级多物理域数字孪生平台
编号:
2117
0.00
0.00
编号:
2117
浏览量:
1000
关键字:
模型
仿真
系统
twinbuilder
优化
集成
adams—系统级多体动力学仿真平台
编号:
2118
0.00
0.00
编号:
2118
浏览量:
1000
关键字:
adams
仿真
模型
系统
车辆
测试
scade—产品级安全关键系统的mbd开发套件
编号:
2119
0.00
0.00
编号:
2119
浏览量:
1000
关键字:
代码
scade
模型
安全
汽车
软件
absint—确保代码安全的静态性能分析工具
编号:
21190
0.00
0.00
编号:
21190
浏览量:
1000
关键字:
分析
工具
代码
astr
支持
能够
软件
认证
堆栈
rvs — 面向目标硬件的软件性能测试工具
编号:
21191
0.00
0.00
编号:
21191
浏览量:
1000
关键字:
硬件
嵌入式
系统
代码
软件
上一页
1
2
5
网站地图