点击下载:南京大学:模型检验(PPT课件讲稿)model checking
正在加载图片...
大纲 ■为什么模型检验? ■什么是模型检验? ■怎么做模型检验? 更高更快更强 复杂系统模型检验大纲 ◼ 为什么模型检验? ◼ 什么是模型检验? ◼ 怎么做模型检验? ◼ 更高更快更强 ◼ 复杂系统模型检验
<<向上翻页
向下翻页>>
点击下载:南京大学:模型检验(PPT课件讲稿)model checking
©2008-现在 cucdc.com 高等教育资讯网 版权所有