Search within
Links
Our Events & News
  1. FSA
  2. Books
Habilitation thesis
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
M. Hitrane
Université Ibn Khaldoun
Defence date: 29-09-2006
President
BENYAMNA Mohamed
Protractor
OUAKILI Youssef
Protractor
JAMJI Khalid
Protractor
NAHID Salaheddine
Examiner
ZENOUAKI Mouad
Jury member
ZEROUALI Abderrahmane