TY - THES DP - http://www.theses.fr/1999EVRY0001 TI - Presentation d'un formalisme de specification dynamique temps reel : application a la semantique du langage vhdl AU - BEROFF, STEPHANE A3 - Israël, Michel PY - 1999 SP - 195 P. N1 - Thèse de doctorat Sciences appliquées Evry-Val d'Essonne 1999 N1 - 1999EVRY0001 ER -