First International Summer School on Runtime Verification: as part of the ArVi COST Action 1402

Christian Colombo 1 Yliès Falcone 2, *
* Auteur correspondant
2 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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).
Type de document :
Communication dans un congrès
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01428838
Contributeur : Yliès Falcone <>
Soumis le : vendredi 6 janvier 2017 - 15:41:19
Dernière modification le : mercredi 11 avril 2018 - 01:54:23
Document(s) archivé(s) le : vendredi 7 avril 2017 - 15:02:55

Fichier

rv16-2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01428838, version 1

Collections

Citation

Christian Colombo, Yliès Falcone. First International Summer School on Runtime Verification: as part of the ArVi COST Action 1402. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. 〈hal-01428838〉

Partager

Métriques

Consultations de la notice

282

Téléchargements de fichiers

29