WATERS
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 3.0/5 - 1 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre WATERS
Águas - a Ferramenta de Análise Waikato para Eventos em Sistemas Reativos. Este software permitirá que os usuários criem modelos de máquinas de estado finito em uma interface gráfica de usuário, para simular sua execução e aplicar algoritmos de verificação de modelos a eles.