dos Santos Silvério, Miriele Santos, Instituto Federal de Educação, Ciência e Tecnologia de São Paulo - Campus Jacareí, Brasil
-
11º CONGRESSO DE INICIAÇÃO CIENTÍFICA E TECNOLÓGICA DO IFSP - Ciências Exatas e da Terra
INVESTIGAÇÃO DE EVENTOS TEMPORIZADOS NA ESPECIFICAÇÃO FORMAL DE SISTEMAS REATIVOS PARA GERAÇÃO AUTOMÁTICA DE TESTES DE SOFTWARE
Resumo PDF