Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science)

Description:

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 practical problems.

./upload/Algorithms/Runtime_Verification__First_In_6_30_2016_5_56_45_PM.jpg
eBook Details:
Category: Algorithms
Author: Howard Barringer
Press: Springer
Language: English
ISBN10: 3642166113
ISBN13: 9783642166112
Pages: 492
PubDate: 2010-12-23 00:00:00
UploadDate: 6/30/2016 5:56:45 pm

Download Link:

The Latest Upload

The Most Related

Category