Loading…
Runtime verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /
The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and stati...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Heidelberg :
Springer,
2013.
|
Series: | LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 8174. |
Physical Description: |
1 online resource (xvii, 426 pages). |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
Copy 1 | CMU Electronic Access | Available |
---|