Marc-André Léonard Mes liens avec l'Acfas Auteur 83e Congrès de l'Acfas : Méthodologie de vérification de systèmes numériques supportant la simulation de pannes liées à l'effet des radiations cosmiques