Communication dans un congrès, LaHDAK, Computer Science, Logic in Computer Science, Logique en informatique

SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems

Hassan Ibrahim, Philippe Dague, Laurent Simon. SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems. 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy. ⟨hal-01483428⟩

Published on