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 Jorge Sousa Pinto

    Dynamic contracts for verification and enforcement of real-time systems properties

    Autor André de Matos Pedro

    Grau MSc

    Ano 2018

    Instituição UM

    Single-assignment Program Verification

    Autor Cláudio Filipe Belo da Silva Lourenço

    Grau MSc

    Ano 2018

    Instituição UM

    Verificação Funcional de Controladores Arduino

    Autor Rafael Alexandre Antunes Barbosa

    Grau MSc

    Ano 2018

    Instituição UM

    Software Verification and Defect Analysis

    Autor Cláudio Lourenço

    Grau MSc

    Ano 2017

    Instituição UM

    Dynamic contracts for verification and enforcement of real-time systems properties

    Autor André de Matos Pedro

    Grau MSc

    Ano 2016

    Instituição UM

    Software Verification and Defect Analysis

    Autor Cláudio Filipe Belo da Silva Lourenço

    Grau MSc

    Ano 2016

    Instituição UM

    Dynamic contracts for verification and enforcement of real-time systems properties

    Autor André Matos Pedro

    Grau MSc

    Instituição UM

    Software Verification and Defect Analysis

    Autor Claudio Filipe Belo Silva Lourenço

    Grau MSc

    Instituição UM

    • 2
    • 2