André Matos Pedro
AuthID: R-004-VKA
11
TÃTULO: Runtime verification of autopilot systems using a fragment of MTL- Full Text
AUTORES: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, NÚMERO: 4
AUTORES: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, NÚMERO: 4
12
TÃTULO: Dynamic contracts for verification and enforcement of real-time systems properties
AUTORES: André de Matos Pedro;
PUBLICAÇÃO: 2018
AUTORES: André de Matos Pedro;
PUBLICAÇÃO: 2018
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: Dynamic contracts for verification and enforcement of real-time systems properties
AUTORES: André de Matos Pedro;
PUBLICAÇÃO: 2018
AUTORES: André de Matos Pedro;
PUBLICAÇÃO: 2018
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP14
TÃTULO: SMT-based schedulability analysis using RMTL-∫ Full Text
AUTORES: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2017, FONTE: SIGBED Review, VOLUME: 14, NÚMERO: 3
AUTORES: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2017, FONTE: SIGBED Review, VOLUME: 14, NÚMERO: 3
