Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
E-bok
Engelska, 2024786 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Tools and Algorithms for the Construction and Analysis of Systems
Klaus Havelund, Erika Abraham
E-bok
2014708 kr
Theory and Practice of Formal Methods
Einar Broch Johnsen, Marcello Bonsangue, Erika Abraham
E-bok
2016708 kr
Formal Techniques for Distributed Objects, Components, and Systems
Catuscia Palamidessi, Erika Abraham
E-bok
2014714 kr
Tools and Algorithms for the Construction and Analysis of Systems
Erika Abraham, Klaus Havelund
Häftad, 2014
561 kr
Theoretical Aspects of Computing - ICTAC 2023
Silvia Lizeth Tapia Tarifa, Clemens Dubslaff, Erika Abraham
E-bok
20231 101 kr