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

First International Summer School on Runtime Verification

Christian Colombo
  • Fonction : Auteur
  • PersonId : 964259
Department of Computer Science [Malta]
Yliès Falcone
Connectez-vous pour contacter l'auteur
Compiler Optimization and Run-time Systems
CV

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).

Domaines

Génie logiciel [cs.SE] Systèmes embarqués
Fichier principal
Vignette du fichier
rv16-2.pdf (118.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Yliès Falcone  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01428838

Soumis le : vendredi 6 janvier 2017-15:41:19

Dernière modification le : jeudi 4 avril 2024-20:55:20

Archivage à long terme le : vendredi 7 avril 2017-15:02:55

Télécharger pour visualiser

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: as part of the ArVi COST Action 1402. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. ⟨hal-01428838⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_SRCPR INRIA2 LIG-SRCPR-CORSE LIG_SIDCH
233 Consultations
168 Téléchargements

Partager

Gmail Facebook X LinkedIn More