This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
| ISBN-13: | 9783540892465 |
| ISBN-10: | 354089246X |
| Publisher: | Springer Science & Business Media |
| Publication date: | 2008-10-23 |
| Edition description: | 2008 |
| Pages: | 189 |
| Product dimensions: | Height: 9.25 Inches, Length: 6.1 Inches, Weight: 0.643 Pounds, Width: 0.46 Inches |
| Author: | Martin Leucker |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
