salomon-maurice documents

MODELISATION ET VERIFICATION DE POLITIQUES DE SECURITE A LAIDE DE LA METHODE B Amal HADDAD 1 ère année de thèse INPG LSR-VASCO Directeurs : Mme. Marie-Laure
Documents MODELISATION ET VERIFICATION DE POLITIQUES DE SECURITE A LAIDE DE LA METHODE B Amal HADDAD 1 ère année de thèse INPG LSR-VASCO Directeurs : Mme. Marie-Laure