Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings: 10012 (Lecture Notes in Computer Science)

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings: 10012 (Lecture Notes in Computer Science)

by César Sánchez (Editor), Yliès Falcone (Editor)

Synopsis

The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

$82.25

Save:$6.21 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 536
Edition: 1st ed. 2016
Publisher: Springer
Published: 20 Sep 2016

ISBN 10: 3319469819
ISBN 13: 9783319469812