Principle of Model Checking

时间：2013-06-12 05:04:13
【文件属性】：

文件名称：Principle of Model Checking

文件大小：2MB

文件格式：RAR

更新时间：2013-06-12 05:04:13

Model Cchecking

介绍了很多模型验证的方法以及逻辑时序和模糊时序的概念与例子。。。。。

立即下载

网友评论

  • 挺好的 需要保留一份
  • 很详细 是入门级教材 值得下载
  • 最经典的模型检测书籍，内容很全面。

相关文章