Siirry suoraan sisältöön
Runtime Verification
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.
Alaotsikko
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Painos
2015 ed.
ISBN
9783319238197
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
11.9.2015
Sivumäärä
432