Model Checking

时间：2012-10-03 10:03:36
【文件属性】：

文件名称：Model Checking

文件大小：1.85MB

文件格式：PDF

更新时间：2012-10-03 10:03:36

模型检验

卡耐基梅隆大学的 E Clarke 教授写的模式检验的材料； 做模型检验和形式化方法的同行可以下载阅读 英文资料

立即下载

网友评论

  • 写得还不错的英文材料，对于有基础的同学可以看看

相关文章