模型检查器-图检查（顺序图、状态图、活动图）

视频：模型检查器-图检查（顺序图、状态图、活动图） 14295 次浏览

366 次

黄月
火龙果科技

视频介绍

模型检查器是基于EA的开发的插件，可以帮助用户检查模型质量，本视频主要介绍图检查中顺序图、活动图和状态图的检查。

	其他人还看了
	模型检查器-图检查（ Model Checker） 3726 次浏览模型检查器功能简介 1925 次浏览讲座：基于模型的软件开发 2511 次浏览数据模型-DDL正逆向（iSpace） 2553 次浏览模型的继承：状态机~iSpace 2626 次浏览使用SysML对FPGA建模 ( VHDL代码） 311793 次浏览