![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Lectures on Runtime Verification Volume 10457 || Runtime Verification for Decentralised and Distributed Systems
Bartocci, Ezio, Falcone, YlièsVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-75632-5_6
File:
PDF, 630 KB
english, 2018