基本信息

---

下载

   友情提示：（无需注册或充值，赞助后即可获取资源下载链接）

---

     嘿，亲！知识可是无价之宝呢，但咱这精心整理的资料也耗费了不少心血呀。小小地破费一下，绝对物超所值哦！如有下载和支付问题，请联系我们QQ(微信同号)：813200300

本次赞助数额为： 2 元　

支付宝支付

微信支付

   源码介绍

---

uppaal-4.0.15-aca.zip

uppaal-4.0.15

├── ModelDemoAttrs.java
├── bin-Linux
│   ├── server
│   ├── socketserver
│   └── verifyta
├── bin-Win32
│   ├── server.exe
│   └── verifyta.exe
├── demo
│   ├── 2doors.q
│   ├── 2doors.xml
│   ├── bridge.q
│   ├── bridge.xml
│   ├── deadlock.q
│   ├── fischer.q
│   ├── fischer.xml
│   ├── fischer_symmetry.q
│   ├── fischer_symmetry.xml
│   ├── interrupt.q
│   ├── interrupt.xml
│   ├── train-gate.q
│   └── train-gate.xml
├── lib
│   ├── editor.jar
│   ├── jdom.jar
│   ├── jh.jar
│   ├── jlfgr-1_0.jar
│   ├── model.jar
│   └── swixml.jar
├── man
│   └── man1
│       └── uppaal.1
├── readme.txt
├── uppaal
└── uppaal.jar

6 directories, 29 files