Waldo Acioli Falcão de Alencar

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Ana Maria Ambrosio

Dias, L.A.V.;VILLANI, E.; Oliveira, J.M.P.;AMBROSIO, ANA MARIA. Model Checking aplicado a software embarcado crítico do satélite universitário ITASAT. 2013. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.