Kategorijos: Kūrėjo įrankiai, Kokybės užtikrinimo ir testavimo įranga
UPPAAL 4.0.6
UPPAAL yra integruotas įrankis aplinka modeliavimo, patvirtinimo ir tikrinimo realaus laiko sistemų modeliuojama kaip tinklų trukmės automatų išplėstinė su duomenų tipų (apribojimas sveikieji skaičiai, matricos ir tt).UPPAAL CORA yra UPPAAL filialas...
Paskutiniai žiūrėti programinė įranga
intc_dd_nic_v12.4_anyos_32-64.exe 14 Jul 15
-
AIconExtract 30 Oct 15
-
GoogleGet 1 Nov 15
Simraceway 24 Aug 17
-
Math Function Mania 25 Oct 15
-
SCX5600_w9x_7.1aP_GM.exe 22 Sep 15
-
865_vga_2kxp.zip 29 Oct 15
-
b-Wall XP Firewall Control 24 Sep 15
Password ID 10 Jan 17
ProjectsProfiler 4 May 15