软件系统模型检查概要介绍

【文件属性】：

文件名称：软件系统模型检查概要介绍

文件大小：872KB

文件格式：PPT

更新时间：2011-12-26 14:32:13

模型检查 model checking

model checking 简介的一个ppt，很实用