模型检查器-图检查（ Model Checker）

视频：模型检查器-图检查（ Model Checker） 31 次浏览

10 次

黄月
火龙果科技

视频介绍

模型检查器是火龙果开发的EA插件，可以帮助用户检查模型质量,本视频介绍的是图检查的功能。

	其他人还看了
	讲座：模型驱动的测试（MDT） 1600 次浏览场景仿真-顺序图：协同攻击（坦克、步兵、无人机） 917 次浏览收藏模型图和元素（WebEA） 228 次浏览状态图生成状态表~iSpace 573 次浏览内部流程的继承 ~ iSpace 777 次浏览 FPGA逻辑建模：全加器~iSpace 533 次浏览