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

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

18 次

俎涛
火龙果软件工程

视频介绍

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

	其他人还看了
	状态图生成状态表~iSpace 890 次浏览内部流程的继承 ~ iSpace 1020 次浏览 FPGA逻辑建模：全加器~iSpace 845 次浏览测试流程指南（iSpace） 789 次浏览 iSpace和EA协作：模型浏览和定位 531 次浏览多层次跟踪列表视图 1306 次浏览