Atur cara mengikut waters.sf.net

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 me