Inproceedings,

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

, , and .
SBES, page 386-391. SBC, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews