TY - THES DP - http://www.theses.fr/1998REN10138 TI - Elaboration d'un langage de specification comportementale de systemes automatises AU - Guillemaud, Ludovic A3 - Quénec'hdu, Yves PY - 1998 SP - 1 vol. (200 p.) N1 - Thèse de doctorat Traitement du signal et des télécommunications Rennes 1 1998 N1 - 1998REN10138 ER -