Program menurut waters.sf.net

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 m