Mostrando 1 - 2 resultados de 2 para a busca 'Oliveira, Ítalo Romani de', tempo de busca: 0,01s

1

Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida.

Publicado em 2007
Acessar documento
Tese

2

Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos.

Publicado em 2003
Acessar documento
Dissertação