UPPAAL TIGA 4.1.0-0.9
Uppaal TIGA je rozšíření UPPAAL [BDL04] a implementuje první účinnou on-the-fly algoritmus pro vyřešení hry založené na časovaných herní stroje s ohledem na dosažitelnosti a bezpečnostní vlastnosti.Ačkoli časované hry pro dlouho je známo, že se decidable...
Nedávno zobrazené Aplikace
BeanMaker 11 Jul 15
Integers 2 Apr 18
Space Patrol 1 Nov 15
IBANC SEPA Software 11 Apr 18
cvs2html 2 Jun 15
-
Gold Frog 31 Oct 15
-
hp_72_ita_nonet.exe 27 Oct 15
Populární software
UPPAAL 2 Jun 15
-
UPPAAL TIGA 2 Jun 15
xmmsctrl 3 Jun 15