Défiler vers le haut

Licence Creative Commons Margaux Duroeulx - Le logiciel anti-pépins

29 mars 2018
00:03:09
Nombre de vues 220
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) 

http://www.univ-lorraine.fr/180secondes

Mots clés : vie de l'universite vie institutionnelle

Infos

  • Ajouté par : Luc Debert
  • Propriétaire(s) additionnel(s) :
    • Laurence Cattiaux
    • Nicolas Duquennoy
    • Catherine Flauder
    • Etienne Haouy
  • Ajouté le : 19 avril 2018 00:00
  • Type : Actualités et Informations
  • Langue principale : Français
  • Discipline(s) :