Runtime Verification. Martin Leucker (Ed.). 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers /
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 fro...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
[2008]
|
| Series: | Lecture notes in computer science ;
5289. LNCS sublibrary. Programming and software engineering. |
| Subjects: | |
| Online Access: | Springer eBooks |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 354089246X 9783540892465 3540893148 9783540893141 3540892478 9783540892472 |
| ISSN: | 1611-3349 ; |