![](/statics/img/blank.png)
WATERS
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 3.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de WATERS
Waters - la herramienta de análisis Waikato para eventos en sistemas reactivos. Este software permitirá a los usuarios crear modelos de máquina de estado finito en una interfaz gráfica de usuario, simular su ejecución y aplicarles algoritmos de comprobación de modelos.