|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Martin LeuckerPublisher: Springer Imprint: Springer Dimensions: Width: 23.40cm , Height: 1.10cm , Length: 15.60cm Weight: 0.290kg ISBN: 9783540893141ISBN 10: 3540893148 Pages: 202 Publication Date: 16 March 2009 Audience: General/trade , General Format: Undefined Publisher's Status: Unknown Availability: Out of stock ![]() Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |