COST Action IC1402 Runtime Verification beyond Monitoring - Laboratoire d'Informatique de Grenoble Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

COST Action IC1402 Runtime Verification beyond Monitoring

Résumé

In this paper we report on COST Action IC1402 which studies Run-time Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities. This COST action IC1402 lasted over the past four years, involved researchers from 27 different European countries and Australia and allowed to have many different working group meetings, workshops and individual visits.
Fichier principal
Vignette du fichier
Report_on_COST_Action_for_RV2018.pdf (107.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01900195 , version 1 (21-10-2018)

Identifiants

  • HAL Id : hal-01900195 , version 1

Citer

Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sanchez, et al.. COST Action IC1402 Runtime Verification beyond Monitoring. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-8. ⟨hal-01900195⟩
272 Consultations
259 Téléchargements

Partager

Gmail Facebook X LinkedIn More