Détails Publication
Évaluation de l’impact de fautes matérielles sur le logiciel par Model Checking.,
Discipline: Informatique et sciences de l'information
Auteur(s): Didier Bassole, Jean-Louis Lanet, and Axel Legay
Auteur(s) tagués:
BASSOLE Didier
Renseignée par : BASSOLE Didier
Résumé
A compléter
Mots-clés