求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center 汽车系统工程   模型库  
会员   
AI智能体开发技术实践
厦门 9月17-18日;线上 10月22-23日
OCSMP 认证培训
9月23-24日 北京+线上
UAF架构体系实践
9月22-23日 北京+线上
视频:接口分析( Model Checker)     2358 次浏览     223 次   捐助


黄月 
火龙果科技


视频介绍
视频主要介绍 基于EA的模型检查器插件进行接口分析。
捐助




其他人还看了
SysML的四大模型 4906 次浏览  
用参数图进行系统算法仿真(EA+Simulink) 2326 次浏览  
过程建模:MBSE (使用iSpace) 2817 次浏览  
仿真:星系运动 2356 次浏览  
场景仿真:协同攻击(坦克、步兵、无人机、无线) 1914 次浏览  
模型转换器 1762 次浏览