Nombre de documents

2

Curriculum Vitae - Abderraouf Boussif


Communication dans un congrès2 documents

  • Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure. 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. 13th International Workshop on Discrete Event Systems (WODES 2016), p237-244, 2016, 〈10.1109/WODES.2016.7497854〉. 〈hal-01374116〉
  • Abderraouf Boussif, Mohamed Ghazel. Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking. Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. 〈hal-01224281〉