First International Summer School on Runtime Verification - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2016

First International Summer School on Runtime Verification

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

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

Domains

Software Engineering [cs.SE] Embedded Systems
Fichier principal
Vignette du fichier
rv16-2.pdf (118.37 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Yliès Falcone  : Connect in order to contact the contributor

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

Submitted on : Friday, January 6, 2017-3:41:19 PM

Last modification on : Thursday, April 4, 2024-8:55:20 PM

Long-term archiving on : Friday, April 7, 2017-3:02:55 PM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-01428838 , version 1

Cite

Christian Colombo, Yliès Falcone. First International Summer School on Runtime Verification. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. ⟨hal-01428838⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_SRCPR INRIA2 LIG-SRCPR-CORSE LIG_SIDCH
243 View
184 Download

Share

More