Programas por waters.sf.net

Águas - a Ferramenta de Análise waikato para eventos em sistemas reativos.Este software permitirá aos utilizadores criar modelos de máquinas de estado finito numa interface gráfica do utilizador, simular a sua execução e ap