Using Incremental SAT for Testing Diagnosability of Distributed DES - Laboratoire Interdisciplinaire des Sciences du Numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Using Incremental SAT for Testing Diagnosability of Distributed DES

Domaines

Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]

Philippe Dague  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01483434

Soumis le : dimanche 5 mars 2017-20:22:07

Dernière modification le : mardi 13 février 2024-03:25:16

Fichier non déposé

Dates et versions

hal-01483434 , version 1 (05-03-2017)

Identifiants

  • HAL Id : hal-01483434 , version 1

Citer

Hassan Ibrahim, Philippe Dague, Laurent Simon. Using Incremental SAT for Testing Diagnosability of Distributed DES. 26th International Workshop on Principles of Diagnosis DX’15, Sep 2015, Paris, France. ⟨hal-01483434⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UMR8623 CENTRALESUPELEC LRI-LAHDAK UNIV-PARIS-SACLAY LISN GS-ENGINEERING GS-COMPUTER-SCIENCE LISN-LAHDAK
516 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More