模型检查器-Checker—视频-火龙果软件

视频：模型检查器-Checker 4160 次浏览

22 次

俎涛
火龙果软件工程

视频介绍

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

	其他人还看了
	系统仿真：协同攻击（坦克、无人机、步兵） 1012 次浏览角色&权限配置（WebEA） 1022 次浏览智驾系统_设备模型仿真（iSpace） 1426 次浏览模型的讨论和提问（WebEA） 602 次浏览模型检查器-图检查（ Model Checker） 626 次浏览模型检查器功能简介 893 次浏览