Runtime Verification / Lecture Notes in Computer Science Bd.8174 (PDF)
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013.
The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6...
The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Runtime Verification / Lecture Notes in Computer Science Bd.8174 (PDF)“
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013.
The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. 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; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. 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; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
Bibliographische Angaben
- 2013, 2013, 426 Seiten, Englisch
- Herausgegeben: Axel Legay, Saddek Bensalem
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642407870
- ISBN-13: 9783642407871
- Erscheinungsdatum: 19.09.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 9.31 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Runtime Verification / Lecture Notes in Computer Science Bd.8174"
0 Gebrauchte Artikel zu „Runtime Verification / Lecture Notes in Computer Science Bd.8174“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Runtime Verification / Lecture Notes in Computer Science Bd.8174".
Kommentar verfassen