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

Full description

Saved in:
Bibliographic Details
Other Authors: Leucker, Martin
Format: Book
Language:English
Published: Springer 2017
Subjects:
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/29283
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-29283
record_format dspace
spelling oai:112.137.131.14:VNU_123-292832020-06-19T09:08:17Z Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers Leucker, Martin Computer software -- Verification -- Congresses Software engineering -- Congresses 005.1/4 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:18:19Z 2017-04-17T02:18:19Z 2008 Book 9783540892465 http://repository.vnu.edu.vn/handle/VNU_123/29283 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 -- Verification -- Congresses
Software engineering -- Congresses
005.1/4
spellingShingle Computer software -- Verification -- Congresses
Software engineering -- Congresses
005.1/4
Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers
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
title_short Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers
title_full Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers
title_fullStr Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers
title_full_unstemmed Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers
title_sort runtime verification. 8th international workshop, rv 2008, budapest, hungary, march 30, 2008. selected papers
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/29283
_version_ 1680968469636448256