![](/statics/img/blank.png)
WATERS
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 3.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang WATERS
Perairan - Alat Analisis Waikato untuk Peristiwa dalam Sistem Reaktif. Perisian ini akan membolehkan pengguna untuk membuat model mesin keadaan terhingga dalam antara muka pengguna grafik, untuk mensimulasikan pelaksanaan mereka, dan untuk memohon model memeriksa algoritma kepada mereka.