Towards Causal Explanations of Property Violations in Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique
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⟩
147 Consultations
198 Téléchargements

Partager

More