Sites Inria

There are 1 Results with the keyword : "formal methods"

sécurité

Seminar - Security

Security Seminar

3/12/2010

Place : Inria Rennes-Bretagne Atlantique Research Centre, Michel Métivier room

Guest(s) : Yassine Lakhnech, Université de Grenoble, CNRS/VERIMAG

Keywords:

Home > Centre > Rennes > Calendar > Séminaire "Sécurité & méthodes formelles"

Lire la suite

Top