Spara
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.
- Undertitel
- 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
- Redaktör
- Yliès Falcone, César Sánchez
- Upplaga
- 1st ed. 2016
- ISBN
- 9783319469812
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2016-09-20
- Sidor
- 512
