Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)

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...

Full description

Saved in:
Bibliographic Details
Other Authors: Leucker, Martin
Format: Book
Language:English
Published: Springer 2017
Subjects:
Computer software ; Software engineering
005.1
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/29278
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English
id oai:112.137.131.14:VNU_123-29278
record_format dspace
spelling oai:112.137.131.14:VNU_123-292782020-07-13T03:28:08Z Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science) Leucker, Martin Computer software ; Software engineering 005.1 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. 2017-04-17T02:16:33Z 2017-04-17T02:16:33Z 2008 Book 978-3540892465 http://repository.vnu.edu.vn/handle/VNU_123/29278 en © Springer-Verlag Berlin Heidelberg 2008 195 p. application/pdf Springer
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Computer software ; Software engineering
005.1
spellingShingle Computer software ; Software engineering
005.1
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
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.
author2 Leucker, Martin
author_facet Leucker, Martin
format Book
title Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
title_short Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
title_full Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
title_fullStr Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
title_full_unstemmed Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
title_sort runtime verification: 8th international workshop, rv 2008, budapest, hungary, march 30, 2008, selected papers (lecture notes in computer science)
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/29278
_version_ 1680965295261351936

Similar Items