 Mme Margaux DUROEULX
- Doctorant
|
||
| 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 | |