Ezio Bartocci
AuthID: R-00F-QVF
1
TITLE: Lectures on Runtime Verification - Introductory and Advanced Topics
AUTHORS: Ezio Bartocci; Yliès Falcone;
PUBLISHED: 2018, VOLUME: 10457
AUTHORS: Ezio Bartocci; Yliès Falcone;
PUBLISHED: 2018, VOLUME: 10457
INDEXED IN: 
DBLP
DBLP2
TITLE: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings
AUTHORS: Ezio Bartocci; Rupak Majumdar;
PUBLISHED: 2015, SOURCE: RV, VOLUME: 9333
AUTHORS: Ezio Bartocci; Rupak Majumdar;
PUBLISHED: 2015, SOURCE: RV, VOLUME: 9333
INDEXED IN: DBLP
DBLP3
TITLE: Runtime Verification
AUTHORS: Ezio Bartocci; Rupak Majumdar;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
AUTHORS: Ezio Bartocci; Rupak Majumdar;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef