求知
文章
文库
Lib
视频
iPerson
课程
认证
咨询
工具
讲座
Model Center
汽车系统工程
模型库
会员
知识图谱、本体论、RAG与大模型
8月29-30日 北京+线上
企业架构方法与实践
8月27-28日 深圳+线上
AI智能体开发技术实践
9月17-18日 厦门+线上
视频：接口分析（ Model Checker）
2283 次浏览
215 次
捐助
your browser does not support the video tag
黄月
火龙果科技
视频介绍
视频主要介绍 基于EA的模型检查器插件进行接口分析。
捐助
其他人还看了
模型的讨论和提问（WebEA）
1372 次浏览
模型检查器-图检查（ Model Checker）
3522 次浏览
模型检查器功能简介
1720 次浏览
讲座：基于模型的软件开发
2432 次浏览
数据模型-DDL正逆向（iSpace）
2331 次浏览
模型的继承：状态机~iSpace
2450 次浏览
