Runtime Verification

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.

The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial pap...

Read more
E-book
pdf
Price
44.99 £

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.

The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial pap...

Read more

Options

  • Formats: pdf
  • ISBN: 9783030605087
  • Publication Date: 7 Oct 2020
  • Publisher: Springer International Publishing
  • Product language: English
  • Drm Setting: DRM