Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings, Ábrahám, Erika (ed.); Abbas, Houssam (ed.), Springer

KIRJAUDU

ostoskori

avaa valikko

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

Erika Ábrahám (ed.), Houssam Abbas (ed.)

65,00 €

Springer
Sivumäärä: 260 sivua
Asu: Pehmeäkantinen kirja
Painos: 2024
Julkaisuvuosi: 2024, 08.11.2024 (lisätietoa)
Kieli: Englanti

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.

LISÄÄ OSTOSKORIIN

Tuote ilmestyy 08.11.2024. Voit tehdä tilauksen heti ja toimitamme tuotteen kun saamme sen varastoomme. Seuraa saatavuutta.

Myymäläsaatavuus