UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA kiterjesztése UPPAAL [BDL04], és ez jelenti az elsõ hatékony on-the-fly algoritmust megoldására játékok alapján időzített játék automaták tekintetében elérhetőséget és biztonsági tulajdonságok.Bár időzített játékok Már régóta ismert, hogy...

2 Jun 15
Linux
Tovább
xmmsctrl

xmmsctrl 1.9

xmmsctrl egy kis segédprogram, hogy ellenőrizzék az XMMS-t a parancssorból. xmmsctrl célja, hogy használható párosul sh tesztelni XMMS-állam és hajtja végre a megfelelő intézkedéseket, például ha játszik majd a szünet mást játszani.Ennek érdekében az,...

3 Jun 15 -ben Audio szoftver
Linux
Tovább
Népszerű szoftver