Défiler vers le haut

Creative Commons license Margaux Duroeulx - Le logiciel anti-pépins [March 29, 2018]

 Summary

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

Tags: vie institutionnelle, vie de l'universite

 Infos

 Downloads

 Embed/Share

Social Networks

 Options
Check the box to autoplay the video.
Check the box to loop the video.
Check the box to indicate the beginning of playing desired.
 Embed in a web page
 Share the link
qrcode