Biblio

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is S and Author is Laurent Simon  [Clear All Filters]
2016
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.
2011
C. Min Li, Zhu, Z., Manya, F., and Simon, L., Satisfiabilité Minimale et Applications, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Lyon, France, 2011.