Séminaires 2001 VALIDATION et VÉRIFICATION
des SYSTÈMES et LOGICIELS COMPLEXES

La non-fiabilité est-elle inéluctable ?  
Paris - 3 & 4 avril 2001