cx a22 3 45 231300719 http://www.idref.fr/231300719 20181030 20201018130517.000 341720001 341720001 Tp5 http://viaf.org/viaf/116154196812520111813 VIAF VIAF 20200401 20181030afrey50 ba0 fre FR 19XX 0 1 0 AFNOR ba0yba0y 0 Chenikhar Karim 19..-.... ba0yba0y Auteur d'une Thèse de Doctorat en Informatique à Paris, Conservatoire National des Arts et Metiers en 2000 SCANR 102020 ESR FR Abes 20201018 AFNOR Evaluation d'outils de preuves formelles pour la spécification et la validation des comportements des systèmes de contrôle-commande d'EDF / Karim Chenikhar, 2000 Chenikhar, Karim (19..-....)