This is our Worldwide store.

Looks like you're in United States. You need a Worldwide address to shop on our Worldwide store. Go to our United States store to continue.

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

Runtime Verification

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

Synopsis

About this book

  • Language:English
  • ISBN:9783031742347
  • Release date:Oct 12, 2024
  • Publisher:Springer Nature Switzerland
  • Imprint:Springer
  • File format:EPUB3
  • File size:28.78 MB
  • Download options:EPUB3 (Adobe DRM)

In this series

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa