Opening book details…
Can I read Runtime Verification: 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings (lecture Notes In Computer Science) on EtoBox?
Runtime Verification: 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings (lecture Notes In Computer Science) by Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.) is a computer science book available to read on EtoBox.
What is Runtime Verification: 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings (lecture Notes In Computer Science) about?
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, recordi
Who reads Runtime Verification: 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings (lecture Notes In Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2013
- Language
- EN
- ISBN
- 9783540773948
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-25
More by Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)
Similar books
- Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science) — Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (2013)
- Runtime Verification: Third International Conference, Rv 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (lecture Notes In Computer Science) — John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (2013)
- Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings — Erika Ábrahám, Houssam Abbas (2024)
- Runtime Verification. Proceedings, Rv 2014, Toronto, on, Canada, September 22-25, 2014. Proceedings : 5th International Conference, Rv 2014, Toronto, on, Canada, September 22-25, 2014. Proceedings — Borzoo Bonakdarpour and Scott A. Smolka (2014)
- Serious Games Development and Applications: 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science, 8101) — Olav Brenna Hansen, Adiljan Abdurihim, Simon McCallum (auth.), Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge (2013)
- Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science (8172)) — Jérôme Leroux (auth.), Dang Van Hung, Mizuhito Ogawa (2013)