ZEROUALI Abderrahmane
ZEROUALI Abderrahmane
  1. A. Zerouali
  2. Recherche
  3. Jury de thèse
Jury de thèse
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
Université Ibn Khaldoun, Soutenue le 29-09-2006
Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d’entreprise
Université Ibn Khaldoun, Soutenue le 29-12-2004
Construire des réseaux neuronaux profonds compacts et robustes avec des matrices Toeplitz
Université Ibn Khaldoun, Soutenue le 29-10-2003
EMI - Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués
Université Ibn Khaldoun, Soutenue le 29-09-2000