求知
文章
文库
Lib
视频
iPerson
课程
认证
咨询
工具
讲座
Model Center
汽车系统工程
模型库
会员
AI智能体开发技术实践
厦门 9月17-18日;线上 10月22-23日
OCSMP 认证培训
9月23-24日 北京+线上
UAF架构体系实践
9月22-23日 北京+线上
视频:接口分析( Model Checker)
2358 次浏览
223 次
捐助
your browser does not support the video tag
黄月
火龙果科技
视频介绍
视频主要介绍 基于EA的模型检查器插件进行接口分析。
捐助
其他人还看了
SysML的四大模型
4906 次浏览
用参数图进行系统算法仿真(EA+Simulink)
2326 次浏览
过程建模:MBSE (使用iSpace)
2817 次浏览
仿真:星系运动
2356 次浏览
场景仿真:协同攻击(坦克、步兵、无人机、无线)
1914 次浏览
模型转换器
1762 次浏览