Rodrigo Pastl Pontes

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

João Batista Camargo Junior

Saotome; Villani; Ambrósio; OLIVEIRA, J. M. P.;CAMARGO JÚNIOR, J. B.. Análise Comparativa de Duas Técnicas de Verificação Aplicadas a Software Embarcado ESpacial. 2011. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Ana Maria Ambrosio

Contribuições do Model Checking e da Metodologia CoFI para o Software Embarcado Espacial; 2011; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, Financiadora de Estudos e Projetos; Coorientador: Ana Maria Ambrosio;