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 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 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