16:00 à 17:00
Cours
Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle
Gérard Berry