uppaal
所属分类：软件测试
开发工具：PDF
文件大小：722KB
下载次数：31
上传日期：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 (563802, 2008-08-11)
新建文件夹\AD-ATeoryOfTimedAutomata.pdf (458813, 2009-02-06)
新建文件夹 (0, 2009-08-02)
近期下载者：
相关文件：
收藏者：