Évaluation de l’impact de fautes matérielles sur le logiciel par Model Checking.Didier Bassole, Jean-Louis Lanet, and Axel LegayÉvaluation de l’impact de fautes matérielles sur le logiciel par Model CheckingD. BASSOLE, Jean-Louis Lanet, and Axel Legay |