WATERS

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów

O WATERS

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.