- Главная
- Linux
- Разработка
- UPPAAL
- Загрузка ...
UPPAAL 4.0.6
UPPAAL это интегрированная среда инструмент для моделирования, проверки и верификации систем реального времени смоделированных как сети приурочен автоматов, расширенных с типами данных (ограниченных целых чисел, массивов и т.д.).UPPAAL КОРА является...