Fiche d'un projet ANR

 4157Enhancing the Evaluation of Error consequences using Formal Methods [En savoir plus]FME3 - ANR-07-SESU-0006
SESU - 2007