First International Summer School on Runtime Verification
Résumé
This paper briefly reports on the first international summer school on Runtime Verification: Branches of practical topics rooted in theory, co-organized and sponsored by COST Action IC1402 ArVi which was held September 23-25, Madrid, Spain as part of the 16th international conference on Runtime Verification (RV 2016).
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...