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...
محفوظ في:
| مؤلفون آخرون: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | English |
| منشور في: |
Springer
2017
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/29283 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| 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 |