UPPAAL TIGA 4.1.0-0.9
UPPAAL Tiga הוא הרחבה של [BDL04] UPPAAL והוא מיישם את האלגוריתם יעיל הראשון ב- the-fly לפתרון משחקים מבוססים על אוטומטים משחק מתוזמן ביחס לנכסי reachability ובטיחות.למרות שמשחקי מתוזמן לכבר מזמן ידועים כלהכריע בי עד עכשיו יש כבר חוסר אלגוריתמים יעילים...
שנצפו לאחרונה תוכנה
PhProxy-InBasic 21 Sep 15
Aryson VMDK Recovery 28 Nov 17
BMI Chart Calculator 1 Jan 15
Guiffy eXpert 26 Oct 18
-
OpenMiracle 1 Jan 15
Webmemes for Chrome 26 Jan 15
-
Discovera 25 Oct 15
-
vdf943en.exe 6 Dec 15
Get Article Pro 7 May 15
Honey Image Downloader 12 Feb 17
תוכנה פופולרית
-
UPPAAL TIGA 2 Jun 15
UPPAAL 2 Jun 15
xmmsctrl 3 Jun 15