Fiche de LASNIER Gilles

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LTCI (Ancien membre EDITE)


Date de debut de thèse: 1 janvier 1900
Date soutenance de thèse: 1 janvier 1900
Encadrant : Jérôme HUGUES (LTCI (EDMH))
Directeur de thèse: Laurent PAUTET (LTCI (EDMH))
Sujet de thèse: Intégration de politiques de sécurité et de sûreté de fonctionnement pour la modèlisation, la vérification et la génération de systèmes critiques Numéro PRD: 2601