文件名称:Model Checking
文件大小:1.85MB
文件格式:PDF
更新时间:2012-10-03 10:03:36
模型检验
卡耐基梅隆大学的 E Clarke 教授写的模式检验的材料; 做模型检验和形式化方法的同行可以下载阅读 英文资料
文件名称:Model Checking
文件大小:1.85MB
文件格式:PDF
更新时间:2012-10-03 10:03:36
模型检验
卡耐基梅隆大学的 E Clarke 教授写的模式检验的材料; 做模型检验和形式化方法的同行可以下载阅读 英文资料