Programmi di waters.sf.net

Waters - lo strumento di analisi Waikato per gli eventi nei sistemi reattivi.Questo software consentirà agli utenti di creare modelli di macchine a stati finiti in un'interfaccia utente grafica, di simularne l'esecuzione e