Journée GT Méthodes Formelles pour la Sécurité

18 mars 2019
Campus Gérard-Mégie Auditorium Marie-Curie 3, rue Michel-Ange Paris 16e - Paris (France)

http://gtmsf19.sciencesconf.org

La journée a pour objectif de permettre aux personnes de la communauté des méthodes formelles intéressées par les applications liées à la sécurité de se regrouper et d'échanger autour de ces thèmes. Elle comportera des exposés de chercheurs, d'industriels et de doctorants.
Discipline scientifique : Cryptographie et sécurité

Lieu de la conférence
Personnes connectées : 156 |  Contact |  À propos |  RSS
Sitemap