Verwandte Artikel zu Runtime Verification: 24th International Conference,...

Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings (Lecture Notes in Computer Science, Band 15191) - Softcover

 
9783031742330: Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings (Lecture Notes in Computer Science, Band 15191)
Softcover
ISBN 10: 3031742338 ISBN 13: 9783031742330
Verlag: Springer, 2024

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2024
Sprache
Englisch
ISBN 10 
3031742338
ISBN 13 
9783031742330
Einband
Taschenbuch
Anzahl der Seiten
320
Herausgeber
Ábrahám Erika, Abbas Houssam
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland