Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Ouvrages
Thèse d'habilitation
Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie
Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie
S. Rafai
Université Ibn Khaldoun
Date de soutenance: 29-11-2001
Président
ATTOUTI Rachid
Rapporteur
BOUALEM Ahmed
Rapporteur
MAJIOUD Hamza
Rapporteur
NABAWI Houssam
Examinateur
OUMZIL Ziad
Membre du jury
BELARBI Fatima-zahra