Towards Causal Explanations of Property Violations in Discrete Event Systems - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Towards Causal Explanations of Property Violations in Discrete Event Systems

Fichier principal
Vignette du fichier
dx.pdf (258.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02369014 , version 1 (18-11-2019)

Identifiants

  • HAL Id : hal-02369014 , version 1

Citer

Gregor Gössler, Thomas Mari, Yannick Pencolé, Louise Travé-Massuyès. Towards Causal Explanations of Property Violations in Discrete Event Systems. DX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8. ⟨hal-02369014⟩
132 Consultations
178 Téléchargements

Partager

Gmail Facebook X LinkedIn More