by Borzoo Bonakdarpour (Editor), ScottA.Smolka (Editor)
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
Format: Paperback
Pages: 376
Edition: 2014
Publisher: Springer
Published: 23 Sep 2014
ISBN 10: 3319111639
ISBN 13: 9783319111636