WATERS

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

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