所属分类：软件测试 开发工具：PDF 文件大小：722KB 下载次数：29 上传日期：2009-08-02 13:24:58 上 传 者：brent-cas ,说明： uppall开发工具的应用，可以用来验证系统的可靠性 (uppall application development tools can be used to verify the reliability of the system),新建文件夹
..........\a tutorial on uppaal.pdf ..........\AD-ATeoryOfTimedAutomata.pdf
