Runtime verification: 6th international conference, rv 2015, vienna, austria, september 22-25, 2015. proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319238197
Date de publication :
11 sept. 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.