Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LTCI (Ancien membre EDITE)
Date de debut de thèse: Non disponible 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
Date de debut de thèse: Non disponible 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