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

Lignes ferroviaires à grande vitesse et dynamiques locales : une analyse comparée de la littérature (article)

National audience

Desserte ferroviaire à grande vitesse et tourisme : entre accessibilité, image et outil de coordination

National audience