ENGLISH

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

By Jean Goubault-Larrecq , Julien Olivain (auth.) , Martin Leucker (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2008
ISBN
354089246X, 9783540892465
DOI
10.1007/978-3-540-89247-2
LCC
QA76.9.F67 R8 2008
Open Library ID
OL23575024M
Language
english
Format
PDF
Filesize
3 MB (2997701 bytes)
Series
Lecture Notes in Computer Science 5289 : Programming and Software Engineering
Edition
1
Pages
189\194
Library
Kolxo3
Time added
2011-07-22 07:35:22
CompilersInterpreters; System Performance and Evaluation; ASoftware Engineering; Performance and Reliability;

Description

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.

Similar books