TY  - THES
DP  - http://www.theses.fr/2018ENTA0002
TI  - Validation formelle d'implantation de patrons de sécurité
AU  - Obeid, Fadi
A3  - Dhaussy, Philippe
PY  - 2018
N1  - Thèse de doctorat Informatique Brest, École nationale supérieure de techniques avancées Bretagne 2018
N1  - 2018ENTA0002
UR  - http://www.theses.fr/2018ENTA0002/document
ER  -