Waters - Narzędzie analizy Waikato do zdarzeń w systemach reaktywnych. To oprogramowanie umożliwi użytkownikom tworzenie modeli maszyn o stanie skończonego w graficznym interfejsie użytkownika, symulowanie ich wykonywania i stosowanie do nich algorytmów sprawdzania modelu.
historia wersji
- Wersja N/A opublikowany na 2011-08-12
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2011-08-12
Szczegóły programu
- Kategorii: Rozwoju > Innych
- Wydawca: waters.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows