求知
文章
文库
Lib
视频
iPerson
课程
认证
咨询
工具
讲座
Model Center
汽车系统工程
模型库
会员
嵌入式软件架构-高级实践
12月11-12日 北京+线上
LLM大模型与智能体开发实战
12月18-19日 北京+线上
需求分析与管理
2026年1月22-23日 北京+线上
视频:接口分析( Model Checker)
819 次浏览
98 次
捐助
your browser does not support the video tag
黄月
火龙果科技
视频介绍
视频主要介绍 基于EA的模型检查器插件进行接口分析。
捐助
其他人还看了
基于模型的软件测试
1804 次浏览
讲座:代码逆向工程工具与方法
1776 次浏览
DoDAF-OV2仿真(iSpace)
1056 次浏览
对模型进行质量评审(WebEA)
1543 次浏览
模型版本对比(WebEA)
1656 次浏览
基于模型的浏览(WebEA)
1136 次浏览