HITRANE Mohammed
HITRANE Mohammed
  1. M. Hitrane
  2. Research
  3. Theses
Theses
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
Université Ibn Khaldoun, Defended on 29-09-2006
Les algorithmes d’apprentissage pour l’aide au stationnement urbain
Vrije Universiteit Brussel, Defended on 29-06-2001