UPPAAL 4.0.6

UPPAAL це інтегроване середовище інструмент для моделювання, перевірки та верифікації систем реального часу змодельованих як мережі приурочений автоматів, виданих з типами даних (обмежених цілих чисел, масивів і т.д.).UPPAAL Кора філія UPPAAL для...
Безкоштовно завантажити UPPAAL для LINUX (Sources mirror 1)

Рекомендоване програмне забезпечення для Linux

  • GCC
    GCC 16 Aug 18