Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is S and Author is Ibrahim, Hassan  [Clear All Filters]
H. Ibrahim, Dague, P., and Simon, L., SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems, in {8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16}, Rome, Italy, 2016.