Spar
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.
- Undertittel
- 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
- Redaktør
- Yliès Falcone, César Sánchez
- Opplag
- 1st ed. 2016
- ISBN
- 9783319469812
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 20.9.2016
- Antall sider
- 512
