MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito

CANDOLO, M. A. P. ; SIMÃO, A. S. ; MALDONADO, J. C. . MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Sessão de Ferramentas, 2001. v. Único. p. 291-296.

2001