Gå direkte til innholdet
Runtime Verification
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
Opplag
1st ed. 2016
ISBN
9783319469812
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
20.9.2016
Antall sider
512