Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

by , ,

Write The First Customer Review

This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime Veri?cation conference was a forum for researchers and industrial practitioners to present theories and tools for monitoring and anal- ing system(softwareandhardware)executions,aswell asa forumfor presenting applications of such tools to ...

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings 2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783642166112

2010 edition

Paperback

Select