Runtime Verification - 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Paperback, 2008 ed.)

These proceedings are compiled from revised submissions presented at RV 2008, the 8th InternationalWorkshopon Runtime Veri?cationheld onMarch30, 2008 in Budapest, Hungary, as a satellite event of ETAPS 2008. There were 27 submissions. Each submission was reviewed by at least three ProgramCommitteemembers.Thecommitteedecidedtoacceptninepapers.This volume also includes two contributions by the invited speakers Jean Goubault- Larrecq(LSV/ENSCachan)on"ASmellofOrchids"andJohnRushby(SRI)on "RuntimeCerti?cation." We would like to thank the members of the Program Committee and the additional referees for their timely reviewing and lively participation in the s- sequent discussion-the quality of the contributions herein is due to their e?orts and expertise. We would like to thank the local organizers of ETAPS 2008 for facilitating this workshop. We would also like to thank the Technical University of Munich for their ?nancial support. Last but not least, we thank the parti- pants of RV 2008 for the stimulating discussions during the workshop and the authors for re?ecting this discussion in their revised papers. We acknowlege the e?ort of the EasyChair support team.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 5289
Release date:	October 2008
First published:	2008
Editors:	Martin Leucker
Dimensions:	235 x 155 x 10mm (L x W x T)
Format:	Paperback
Pages:	189
Edition:	2008 ed.
ISBN-13:	978-3-540-89246-5
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > General Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-540-89246-X
Barcode:	9783540892465

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!