求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center 汽车系统工程   模型库  
会员   
知识图谱、本体论、RAG与大模型
8月22-23日 北京+线上
企业架构方法与实践
8月27-28日 深圳+线上
AI智能体开发技术实践
9月17-18日 厦门+线上
视频：模型检查器-Checker     4670 次浏览     70 次   捐助


俎涛 
火龙果软件工程


视频介绍
视频主要介绍模型检查器-Checker，可以对模型的接口分析、元素、关系、类、用例、图（顺序图、状态图）进行检查。
捐助




其他人还看了
2个状态图协同仿真 1408 次浏览  
多FMU协同仿真（FMU仿真器） 2435 次浏览  
FMU导入与仿真 1948 次浏览  
基线管理与版本对比（iSpace） 1633 次浏览  
元素检查（ Model Checker） 4106 次浏览  
链接模型库（WebEA） 1395 次浏览