Ulisses Mantovan

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Liria Matsumoto Sato

SATO, L. M.; SOUZA, Vanderlei de. Especificação formal e validação de um sistema de arquivos paralelos distribuídos. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Cléver Ricardo Guareis de Farias

de SOUZA, W. L.; SATO, L. M.; MIDORIKAWA, E. T.; GUARDIA, H. C.;de FARIAS, C. R. G.. Uma abordagem, baseada em Framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas digitais. 2006. Tese (Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

Hélio Crestana Guardia

SOUZA, Wanderley Lopes de; MANTOVAN, U.;GUARDIA, H. C.; SATO, L. M.. Especificação Formal e Validação de um Sistema de Arquivos Paralelos Distribuídos. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Hélio Crestana Guardia

SOUZA, Wanderley Lopes deGUARDIA, H. C.SATO, Liria Matsumoto; MIDORIKAWA, Edson Toshimi; FARIAS, Cléver Ricardo Guareis e. Uma abordagem baseada em framework e na técnica de descrição formal Estelle para o desenvolvimento de sistemas de arquivos paralelos distribuídos. 2006. Tese (Doutorado em Engenharia de Computação e Sistemas Digitais) - Escola Politécnica da Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Wanderley Lopes de Souza

Especificação formal e validação de um sistema de arquivos paralelos distribuídos; 2000; 0 f; Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Wanderley Lopes de Souza;

Wanderley Lopes de Souza

Uma abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos; 2006; 311 f; Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo,; Orientador: Wanderley Lopes de Souza;