Tarafından Programlar waters.sf.net

Sular - Reaktif Sistemlerde Olaylar için Waikato Analiz Aracı.Bu yazılım, kullanıcıların grafiksel kullanıcı arabiriminde sonlu durumlu makine modelleri oluşturmalarına, yürütmelerini simüle etmelerine ve onlara model denet