- Halaman rumah
- Linux
- Alat pengembang
- UPPAAL
- Men-download ...
UPPAAL 4.0.6
UPPAAL adalah sebuah lingkungan alat untuk membuat model, validasi dan verifikasi sistem real-time dimodelkan sebagai jaringan automata waktunya, diperpanjang dengan tipe data (integer dibatasi, array, dll).UPPAAL CORA merupakan cabang dari UPPAAL untuk...