
Lectures on Runtime Verification
Introductory and Advanced Topics
Synopsis
About this book
- Language:English
- ISBN:9783319756325
- Release date:Feb 11, 2018
- Publisher:Springer International Publishing
- Imprint:Springer
- File format:EPUB2
- File size:2.58 MB
- Download options:EPUB2 (Adobe DRM)
In this series
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky









