Search within
Links
Our Events & News
  1. FSA
  2. Books
Habilitation thesis
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
Defence date: 29-11-2001
President
ATTOUTI Rachid
Protractor
BOUALEM Ahmed
Protractor
MAJIOUD Hamza
Protractor
NABAWI Houssam
Examiner
OUMZIL Ziad
Jury member
BELARBI Fatima-zahra