相关文档

南京大学:模型检验(PPT课件讲稿)model checking

为什么模型检验? 什么是模型检验? 怎么做模型检验? 更高更快更强 复杂系统模型检验
团购合买资源类别:文库,文档格式:PPTX,文档页数:71,文件大小:2.84MB
点击进入文档下载页(PPTX格式)
点击下载(PPTX格式)

浏览记录