Runtime verification 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition p...
Corporate Authors: | RV (Conference) Vienna, Austria) |
---|---|
Other Authors: | RV (Conference), Bartocci, Ezio (Computer scientist),, Majumdar, Rupak,, SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Cham :
Springer,
2015.
|
Physical Description: |
1 online resource (xiv, 396 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
9333. LNCS sublibrary. Programming and software engineering. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |