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

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

35 次

俎涛
火龙果软件工程

视频介绍

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

	其他人还看了
	模型的继承：状态机~iSpace 1912 次浏览使用SysML对FPGA建模 ( VHDL代码） 405329 次浏览神经网络算法模型仿真 880 次浏览开发工程师-过程指南（iSpace） 1480 次浏览顺序图仿真（iSpace） 510 次浏览跟踪表：需求-逻辑-软件-硬件（WebEA） 1754 次浏览