| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Leucker, Martin | - |
| dc.date.accessioned | 2017-04-17T02:18:19Z | - |
| dc.date.available | 2017-04-17T02:18:19Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.isbn | 9783540892465 | - |
| dc.identifier.uri | http://repository.vnu.edu.vn/handle/VNU_123/29283 | - |
| dc.description.abstract | 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. | - |
| dc.format.extent | 195 p. | - |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.rights | © Springer-Verlag Berlin Heidelberg 2008 | - |
| dc.subject | Computer software -- Verification -- Congresses | - |
| dc.subject | Software engineering -- Congresses | - |
| dc.subject.ddc | 005.1/4 | - |
| dc.title | Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | Khoa học máy tính & Công nghệ thông tin | |
Readership Map
Content Distribution
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Leucker, Martin | - |
| dc.date.accessioned | 2017-04-17T02:18:19Z | - |
| dc.date.available | 2017-04-17T02:18:19Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.isbn | 9783540892465 | - |
| dc.identifier.uri | http://repository.vnu.edu.vn/handle/VNU_123/29283 | - |
| dc.description.abstract | 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. | - |
| dc.format.extent | 195 p. | - |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.rights | © Springer-Verlag Berlin Heidelberg 2008 | - |
| dc.subject | Computer software -- Verification -- Congresses | - |
| dc.subject | Software engineering -- Congresses | - |
| dc.subject.ddc | 005.1/4 | - |
| dc.title | Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | Khoa học máy tính & Công nghệ thông tin | |
