HITRANE Mohammed
HITRANE Mohammed
  1. M. Hitrane
  2. Recherche
  3. Thèses
Thèses
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
Les algorithmes d’apprentissage pour l’aide au stationnement urbain
Vrije Universiteit Brussel, Soutenue le 29-06-2001