Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

Jeux de séduction dans la comédie de la Restauration : pratique sociale, expérience théâtrale

Colloque tenu en Sorbonne les 17-19 janvier 2008