TY - THES DP - http://www.theses.fr/2014ENST0029 TI - Assistance au raffinement dans la conception des systèmes embarqués AU - Mokrani, Hocine A3 - Ameur-Boulifa, Rabéa; Encrenaz, Emmanuelle PY - 2014 N1 - Thèse de doctorat Electronique et communications Paris, ENST 2014 N1 - 2014ENST0029 UR - http://www.theses.fr/2014ENST0029/document ER -