Perairan - Alat Analisis Waikato untuk Peristiwa dalam Sistem Reaktif. Perangkat lunak ini akan memungkinkan pengguna untuk membuat model mesin status terbatas dalam antarmuka pengguna grafis, untuk mensimulasikan eksekusi mereka, dan menerapkan algoritma pemeriksaan model kepada mereka.
Riwayat versi
- Versi N/A diposting di 2011-08-12
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2011-08-12
Detil Program
- Kategori: Pengembangan > Lain
- Penerbit: waters.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: windows