Tallenna
Runtime Verification
The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.
The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
- Alaotsikko
- 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
- Toimittaja
- Yliès Falcone, César Sánchez
- Painos
- 1st ed. 2016
- ISBN
- 9783319469812
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.9.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 512
