Évaluation de l’impact de fautes matérielles sur le logiciel par Model Checking.,
Auteur(s):
Didier Bassole, Jean-Louis Lanet, and Axel Legay
Auteur(s) tagués:
Didier BASSOLE ;
Résumé
A compléter
Mots-clés