Skip to Main content Skip to Navigation
Documents associated with scientific events

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

Résumé : 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.
Document type :
Documents associated with scientific events
Complete list of metadata

Cited literature [52 references]  Display  Hide  Download

https://hal.inria.fr/hal-01709899
Contributor : Yliès Falcone <>
Submitted on : Thursday, February 15, 2018 - 1:59:35 PM
Last modification on : Tuesday, May 11, 2021 - 11:37:37 AM
Long-term archiving on: : Sunday, May 6, 2018 - 10:29:07 PM

File

Falcone-ETR-2017.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01709899, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

349

Files downloads

60