Runtime verification: 16th international conference, rv 2016, madrid, spain, september 23–30, 2016, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319469812
Date de publication :
20 sept. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.