UPPAAL 4.0.6
UPPAAL е интегрирана среда инструмент за моделиране, утвърждаване и проверка на системите за реално време, моделирани като мрежи от навременна автомати, удължени с типове данни (обградени числа, масиви, и т.н.).UPPAAL CORA е клон на UPPAAL за оптимална...
Последно видян софтуер
RDC Launcher 22 Sep 15
PDF2XL Basic 10 Apr 15
Colonization Hex 9 Dec 14
O&O DiskStat Professional Edition (64-bit) 26 Jan 15
priPrinter 1 Jan 15
-
Explogen 24 Sep 15
JpgText 28 Sep 17
-
Acer Aspire 5738DG Intel WLAN Driver for Windows 7 14 Mar 16
-
HP ENVY 23-d030 TouchSmart Hardware Diagnostics UEFI Tool 13 Dec 15
Advanced Date Time Calculator 15 Apr 15