UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA es una extensión de UPPAAL [BDL04] y se implementa la primera eficiente algoritmo sobre la marcha para resolver juegos basados ​​en autómatas juego calculado con respecto a las propiedades de accesibilidad y seguridad.Aunque los juegos...

2 Jun 15
Linux
Leer más
xmmsctrl

xmmsctrl 1.9

xmmsctrl es una pequeña utilidad para controlar xmms desde la línea de comandos. El objetivo de xmmsctrl se va a utilizar junto con sh para probar el estado xmms y llevar a cabo una acción apropiada, por ejemplo, si se reproduce a continuación, hacer una...

3 Jun 15 En Software de audio
Linux
Leer más
El software popular