First International Summer School on Runtime Verification - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

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).
Fichier principal
Vignette du fichier
rv16-2.pdf (118.37 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01428838 , version 1 (06-01-2017)

Identifiants

  • HAL Id : hal-01428838 , version 1

Citer

Christian Colombo, Yliès Falcone. First International Summer School on Runtime Verification. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. ⟨hal-01428838⟩
243 Consultations
189 Téléchargements

Partager

More