Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
    Supervised
    thesis

    Supervised thesis by Nuno Moreira Macedo

    Safety Verification for ROS Applications

    Author André Filipe Faria dos Santos

    Degree MSc

    Year 2018

    Institution INESCTEC

    Safety Verification for ROS Applications

    Author André Filipe Faria dos Santos

    Degree MSc

    Year 2016

    Institution INESCTEC

    A Web-based Social Environment for Alloy

    Author José Manuel Costa Pereira

    Degree MSc

    Year 2016

    Institution INESCTEC

    Parallel verification of Dynamic Systems with Rich Configurations

    Author Eduardo Jose Dias Pessoa

    Degree MSc

    Year 2016

    Institution INESCTEC

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

    Author André Filipe Faria dos Santos

    Degree MSc

    Institution INESCTEC

    Qualidade de Software para o Robot Operating System

    Author Miguel Ângelo Gomes da Costa

    Degree MSc

    Institution INESCTEC

    • 2
    • 2