- Strona główna
- Linux
- Narzędzia dla programistów
- UPPAAL
- Pobieranie ...
UPPAAL 4.0.6
UPPAAL to zintegrowane środowisko narzędziem do modelowania, walidacji i weryfikacji systemów czasu rzeczywistego modelowanych jako sieci automatów czasowych, rozbudowane typy danych (tablice ograniczonych liczb całkowitych, etc.).UPPAAL CORA jest oddział...