文件名称:clarke_model_cheching
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
本书详细介绍了模型检测的基本原理，分析了模型检测在各个行业的应用，重点分析了模型检测各种算法，是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the model checking algorithms is the model of testing rare classic encyclopedic information.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
clarke00model.pdf