Tallenna
Runtime Verification
The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.
The discussion of the conference centers around two main aspects.
The discussion of the conference centers around two main aspects.
- Alaotsikko
- 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
- Toimittaja
- Ezio Bartocci, Rupak Majumdar
- Painos
- 2015 ed.
- ISBN
- 9783319238197
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.9.2015
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 432
