xmmsctrl е малка програма за контрол на XMMS от командния ред. гол xmmsctrl е да се използва в съчетание с SH да тествате XMMS състояние и извършване на съответните действия, напр ако играете после пауза останало игра.Интересът на това е да се обвърже...
UPPAAL TIGA е разширение на UPPAAL [BDL04] и да го реализира първия ефективен алгоритъм на най-лети за решаване на игри, базирани на навременна игра автомати по отношение на достъпност и безопасност свойства.Въпреки че са известни във времето игри за...
UPPAAL е интегрирана среда инструмент за моделиране, утвърждаване и проверка на системите за реално време, моделирани като мрежи от навременна автомати, удължени с типове данни (обградени числа, масиви, и т.н.).UPPAAL CORA е клон на UPPAAL за оптимална...