Georgia Penido Safe

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Elizabeth Sueli Specialski

NOGUEIRA, J. M.; SAFE, G. P.;SPECIALSKI, E. S.; LOUREIRO, A. A. F.; MEIRA, D. M.. Diagnóstico e Correção Automática de Falhas no Gerenciamento de Redes de Telecomunicações. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Ivan Saraiva Silva

FERNANDES, A. O.; CAMPOS, S. V. A.;SILVA, I. S.; REIS, R. A. L.; COELHO, C.. Um modelo Estatístico Multivariado para Prover o Comportamento de Heurísticas em Verificação Formal. 2011. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação - UFMG) - Universidade Federal de Minas Gerais.