André Matos Pedro
AuthID: R-004-VKA
11
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
DBLP12
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: 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
