Impact of Small-World Effect on the ip-level Routing DynamicsFrédéric Tounwendyam Ouédraogo, Tegawendé Bissyandé, Sawadogo Daouda, Didier Bassolé, Abdoulaye Séré, Oumarou SiéÉ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 |