Journal
RUNTIME VERIFICATION, (RV 2016)
Volume 10012, Issue -, Pages 3-14Publisher
SPRINGER INTERNATIONAL PUBLISHING AG
DOI: 10.1007/978-3-319-46982-9_1
Keywords
-
Ask authors/readers for more resources
Some reflections on verification and runtime verification in general and of cyber-physical systems in particular.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available