Imposition de propriétés temporisées à l'exécution - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year : 2017

Imposition de propriétés temporisées à l'exécution

Abstract

L'imposition de propriétés (en anglais runtime enforcement) désigne les méthodes, techniques et outils permettant de garantir que l'exécution d'un système est conforme à sa spécification. Cet article présente brièvement certains des résultats majeurs obtenus lors des travaux de ce domaine de recherche.
Fichier principal
Vignette du fichier
Falcone-ETR-2017.pdf (188.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01709899 , version 1 (15-02-2018)

Identifiers

  • HAL Id : hal-01709899 , version 1

Cite

Yliès Falcone. Imposition de propriétés temporisées à l'exécution. ETR 2017 : École d'Été Temps Réel, Aug 2017, Paris, France. ⟨hal-01709899⟩
167 View
39 Download

Share

Gmail Facebook X LinkedIn More