Superior Software Para Alexandre David

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

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

UPPAAL 4.0.6

UPPAAL es un entorno integrado de herramientas para el modelado, la validación y verificación de los sistemas de tiempo real modeladas como redes de autómatas cronometrada, extendido con tipos de datos (enteros delimitadas, matrices, etc.).UPPAAL CORA es...

2 Jun 15 En Herramientas de desarrollo, Garantía de calidad y pruebas de software

Linux

El software popular

xmmsctrl 3 Jun 15

UPPAAL TIGA 2 Jun 15

UPPAAL 2 Jun 15

Superior Software Para Alexandre David

xmmsctrl 1.9

UPPAAL TIGA 4.1.0-0.9

UPPAAL 4.0.6

El software popular

UPPAAL TIGA 2 Jun 15

xmmsctrl 3 Jun 15

UPPAAL 2 Jun 15