A model-checking based approach: Diagnosability Verification

1o 108599 Aplicação de realidade virtual para projeto de inspeção de bioincrustação em casco de navio Danilo Duarte Lisboa et al 2o 108554 Desenvolvimento de um ambiente de simulação ROS/Gazebo para inspeção fotogrametrica 3D de risers com RPAs Jose Alexander Duenas Salazar et al 3o 108524 Obtenção da Imagem de Defeitos em Materiais por Mapeamento Elétrico GIL ROBERTO VIEIRA PINHEIRO et al 4o 108133 Slag Recognition in Steel Plant Converters Tapping Rogério Eleotério de Jesus et al 5o 107847 Estimativa dos Perfis de Dormentes em Pontes sem Lastro Utilizando Sensor de Perfil Laser Jorge Ruan Zeferino Conti et al 6o 108321 Sistema para Detecção de Estradas e Obstáculos Baseado em Imagens RGB e Nuvem de Pontos para Equipamentos de Mineração Bruno Peres Klafke et al