Ezio Bartocci
AuthID: R-00F-QVF
1
TÃTULO: Lectures on Runtime Verification - Introductory and Advanced Topics
AUTORES: Ezio Bartocci; Yliès Falcone;
PUBLICAÇÃO: 2018, VOLUME: 10457
AUTORES: Ezio Bartocci; Yliès Falcone;
PUBLICAÇÃO: 2018, VOLUME: 10457
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: RV, VOLUME: 9333
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: RV, VOLUME: 9333
INDEXADO EM: DBLP
DBLP3
TÃTULO: Runtime Verification
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef