Détails Publication
Évaluation de l’impact de fautes matérielles sur le logiciel par Model Checking.,
Lien de l'article:
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

939
Enseignants
5607
Publications
49
Laboratoires
84
Projets