Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (2014) (Lecture Notes in Computer Science #8734)

By: Borzoo Bonakdarpour and Scott A. Smolka

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

Synopsis: This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

Book Quality:: Publisher Quality
ISBN-13:: 9783319111643
Related ISBNs:: 9783319111636
Publisher:: Springer International Publishing
Date of Addition:: 09/02/19
Copyrighted By:: N/A
Adult content:: No
Language:: English
Has Image Descriptions:: No
Categories:: Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
Submitted By:: Bookshare Staff
Usage Restrictions:: This is a copyrighted book.
Edited by:: Borzoo Bonakdarpour
Edited by:: Scott A. Smolka