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

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

140 次

黄月
火龙果科技

视频介绍

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

	其他人还看了
	系统设计~效能分析器 1834 次浏览模型元素的克隆与跟踪~iSpace 947 次浏览数据架构：数据模型与跟踪~iSpace 1023 次浏览讲座：研发人员能力建设体系iPerson 2551 次浏览基于模型的软件测试 2054 次浏览讲座：代码逆向工程工具与方法 2032 次浏览