Communication dans un congrès, LaHDAK, Computer Science, Logic in Computer Science, 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⟩

Published on