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

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

    Author André de Matos Pedro

    Degree MSc

    Year 2018

    Institution UM

    Single-assignment Program Verification

    Author Cláudio Filipe Belo da Silva Lourenço

    Degree MSc

    Year 2018

    Institution UM

    Verificação Funcional de Controladores Arduino

    Author Rafael Alexandre Antunes Barbosa

    Degree MSc

    Year 2018

    Institution UM

    Software Verification and Defect Analysis

    Author Cláudio Lourenço

    Degree MSc

    Year 2017

    Institution UM

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

    Author André de Matos Pedro

    Degree MSc

    Year 2016

    Institution UM

    Software Verification and Defect Analysis

    Author Cláudio Filipe Belo da Silva Lourenço

    Degree MSc

    Year 2016

    Institution UM

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

    Author André Matos Pedro

    Degree MSc

    Institution UM

    Software Verification and Defect Analysis

    Author Claudio Filipe Belo Silva Lourenço

    Degree MSc

    Institution UM

    • 2
    • 2