F. Dadeau, A. Haddad, T. Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels, Namur, Belgique, June 2007.
Download paper: (link)
Copyright notice:
@InProceedings{dhm:afadl07,
Author = {Dadeau, F. and Haddad, A. and Moutet, T.},
Title = {Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès},
BookTitle = {{AFADL}'07, Approches Formelles dans l'Assistance au Développement de Logiciels},
Address = {Namur, Belgique},
Month = {June},
Year = {2007}
}
Get EndNote Reference (.ref)