WATERS

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов

Уотерс - инструмент анализа Вайкато для событий в реактивных системах. Это программное обеспечение позволит пользователям создавать модели машин с конечным состоянием в графическом пользовательском интерфейсе, имитировать их выполнение и применять к ним алгоритмы проверки моделей.

история версии

  • Версия N/A размещено на 2011-08-12
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-08-12

Подробная информация о программе