Tracing Distributed Component-Based Systems, a Brief Overview

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03769-7_24 ◽

2018 ◽

pp. 417-425 ◽

Author(s):

Yliès Falcone ◽

Hosein Nazarpour ◽

Mohamad Jaber ◽

Marius Bozga ◽

Saddek Bensalem

Download Full-text