文件名称:uppaal
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
uppall开发工具的应用，可以用来验证系统的可靠性-uppall application development tools can be used to verify the reliability of the system
(系统自动生成,下载前可以参看下载内容)
下载文件列表
新建文件夹
..........\a tutorial on uppaal.pdf
..........\AD-ATeoryOfTimedAutomata.pdf
..........\a tutorial on uppaal.pdf
..........\AD-ATeoryOfTimedAutomata.pdf