صورة الغلاف

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /

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 submissi...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: SpringerLink (Online service)
مؤلفون آخرون: Ábrahám, Erika (المحرر), Abbas, Houssam (المحرر)
التنسيق: الكتروني كتاب الكتروني
اللغة:الإنجليزية
منشور في: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
الطبعة:1st ed. 2025.
سلاسل:Lecture Notes in Computer Science, 15191
الموضوعات:
Software engineering.
Machine theory.
Computer science.
Artificial intelligence.
Algorithms.
Compilers (Computer programs).
Software Engineering.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Compilers and Interpreters.
الوصول للمادة أونلاين:https://doi.org/10.1007/978-3-031-74234-7
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
الوصف
الملخص: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.
وصف مادي:XVI, 304 p. 108 illus., 73 illus. in color. online resource.
ردمك:9783031742347
تدمد:1611-3349 ;
DOI:10.1007/978-3-031-74234-7

مواد مشابهة