Communication dans un congrès, LaHDAK, Informatique, Logique en informatique
Using Incremental SAT for Testing Diagnosability of Distributed DES
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⟩
