求知
文章
文库
Lib
视频
iPerson
课程
认证
咨询
工具
讲座
Model Center
模型库
会员
基于 UML 和EA进行分析设计
7月30-31日 北京+线上
大模型核心技术RAG、MCP与智能体
8月14-15日 厦门
图数据库与知识图谱
8月21日-22日
北京+线上
视频：接口分析（ Model Checker）
349 次浏览
28 次
捐助
your browser does not support the video tag
黄月
火龙果科技
视频介绍
视频主要介绍 基于EA的模型检查器插件进行接口分析。
捐助
其他人还看了
列表视图的看板（WebEA）
962 次浏览
模型转换为在线文档（WebEA）
752 次浏览
文本生成图-自动建模器
1066 次浏览
控制仿真：雷达-电灯-风扇
1155 次浏览
多级系统仿真～使用建模工具iSpace
1849 次浏览
模型检查器-图检查（顺序图、状态图、活动图）
264 次浏览
28 次 
捐助
