

![]() ![]() |
||
Sujet de thèse : | Modélisation, vérification formelle symbolique et évaluation probabiliste du niveau de confiance des systèmes sécuritaires numériques | |
Département |
|
|
Etablissement : | UL | |
![]() |
||
![]() |
jacqueline-marguerite.duroeulx@univ-lorraine.fr | |
Site recherche : | Ecole Nationale Supérieure d'Electricité et de mécanique | |