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


俎涛 
火龙果软件工程


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




其他人还看了
模型生成在线文档、文档协作与管理 1024 次浏览  
模型列表生成文档 1891 次浏览  
文档生成器与连接器 2122 次浏览  
使用PID算法控制电机的运行~iSpace 1153 次浏览  
Sys ML模型仿真:2025元旦快乐-iSpace建模 1233 次浏览  
应用架构:数据流仿真-iSpace 951 次浏览