协议分析与测试实验报告

【文件属性】：

文件名称：协议分析与测试实验报告

文件大小：407KB

文件格式：DOC

更新时间：2013-02-14 14:37:11

协议分析 协议测试 实验报告

是安徽工业大学的协议分析与测试这门课的实验报告，内容包括SMV模型检测工具的使用，哲学家问题的建模与分析，AB协议的建模与分析等等。