View of Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos

Return to Article Details Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos Download Download PDF