Auteur
OUROUA,
Directeur de thèse
BOUKALA Malika
Filière
Informatique
Diplôme
Doctorat
Titre
Modélisation et vérification formelle des propriétés de la sécurité informatique.
Statut
Validé
Tags & Categories
auteur
propriétés
securite
directeur
thèse
informatique
modélisation
vérification
formelle
ouroua
securitÉ
propriÉtÉs
modÉlisation
propriètés
sÉcuritÉ
sécurite
propriétes
verification
proprietés
informatique
securité
proprietes
modelisation
securite
directeur
doctorat
formelle
informatique
modélisation
propriétés
sécurité
vérification