Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Teses
    supervisionadas

    Teses supervisionadas por Nuno Moreira Macedo

    Safety Verification for ROS Applications

    Autor André Filipe Faria dos Santos

    Grau MSc

    Ano 2018

    Instituição INESCTEC

    Safety Verification for ROS Applications

    Autor André Filipe Faria dos Santos

    Grau MSc

    Ano 2016

    Instituição INESCTEC

    A Web-based Social Environment for Alloy

    Autor José Manuel Costa Pereira

    Grau MSc

    Ano 2016

    Instituição INESCTEC

    Parallel verification of Dynamic Systems with Rich Configurations

    Autor Eduardo Jose Dias Pessoa

    Grau MSc

    Ano 2016

    Instituição INESCTEC

    Aplicação de Convenções de Código ao Robot Operating System

    Autor André Filipe Faria dos Santos

    Grau MSc

    Instituição INESCTEC

    Qualidade de Software para o Robot Operating System

    Autor Miguel Ângelo Gomes da Costa

    Grau MSc

    Instituição INESCTEC

    • 2
    • 2