Durée :
00:03:09
Nombre de vues
170
Nombre d’ajouts dans une liste de lecture
1
Nombre de favoris
0
Modélisation, vérification formelle symbolique et évaluation probabiliste du niveau de confiance des systèmes sécuritaires numériques
· Laboratoire Lorrain de Recherche en Informatique
et ses Applications – LORIA (CNRS, Inria, Université de Lorraine) · Centre de Recherche en Automatique de Nancy – CRAN (Université de Lorraine, CNRS)
Mots clés : vie institutionnelle, vie de l'universite
Informations
- Luc Debert
- 19 avril 2018 00:00
- Actualités et Informations
- Français