Runtime verification: 21st international conference, rv 2021, virtual event, october 11–14, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030884932
Date de publication :
6 oct. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions.