Opening book details…
Can I read Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings on EtoBox?
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings by Erika Ábrahám, Houssam Abbas is a nonfiction available to read on EtoBox.
What is Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings about?
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.
Who reads Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Erika Ábrahám, Houssam Abbas
- Publisher
- Springer Nature Switzerland AG
- Published
- 2024
- Language
- EN
- ISBN
- 9783031742330
- Category
- nonfiction
- Subjects
- Computer Science, Stem
More by Erika Ábrahám, Houssam Abbas
Browse all works by Erika Ábrahám, Houssam Abbas
Similar books
- Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings — Thao Dang; Volker Stolz (2022)
- 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)
- Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers — Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (2012)
- Runtime Verification: 4th International Conference, Rv 2013, Rennes, France, September 24-27, 2013, Proceedings (lecture Notes In Computer Science) — Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (2013)
- Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings — Wolfgang Thomas (auth.), P. Madhusudan, Sanjit A. Seshia (2012)
- Software Architecture : 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings — Bedir Tekinerdogan, Catia Trubiani, Chouki Tibermacine, Patrizia Scandurra, Carlos E. Cuesta, Uwe Zdun, Ali Babar (2023)