Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition p...

Full description

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Bartocci, Ezio (Editor), Majumdar, Rupak (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing, 2015
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-319-23820-3
9783319238197
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber