求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center 汽车系统工程   模型库  
会员   
嵌入式软件架构-高级实践
12月11-12日 北京+线上
LLM大模型与智能体开发实战
12月18-19日 北京+线上
需求分析与管理
2026年1月22-23日 北京+线上
视频:接口分析( Model Checker)     819 次浏览     98 次   捐助


黄月 
火龙果科技


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




其他人还看了
基于模型的软件测试 1804 次浏览  
讲座:代码逆向工程工具与方法 1776 次浏览  
DoDAF-OV2仿真(iSpace) 1056 次浏览  
对模型进行质量评审(WebEA) 1543 次浏览  
模型版本对比(WebEA) 1656 次浏览  
基于模型的浏览(WebEA) 1136 次浏览