Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste

SOUZA, S. R. S. S. ; MALDONADO, J. C. . Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste. In: XIV CTD - Concurso de Teses e Dissertações, XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza/CE. Anais do XIV CTD - Concurso de Teses e Dissertações, XXI Congresso da Sociedade Brasileira de Computação, 2001.

2001