Maruyama, Newton
Resultado: Exibindo 10 de 14 na pagina 1 de 2
Nome
Título
Área
Documento
Unidade
Ano
Especificação e verificação formal de requisitos para sistemas de tráfego aéreo
Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada...
Abordagem estocástica com fusão sensorial para mapeamento geográfico utilizando ...
Aplicação do filtro de Kalman e dos filtros de partículas à estimação de trajetórias...
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo
Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto...
Sistemas de controle distribuídos: desenvolvimento de uma aplicação para veículos...
Assistência à navegação marítima com augmentação visual
Arquitetura de software para sistemas de tempo real
Um método de refinamento para desenvolvimento de software embarcado: uma abordagem...
Resultado: Exibindo 10 de 14 na pagina 1 de 2