Approches formelles pour la modélisation et la vérification du contrôle d'accès et des contraintes temporelles dans les systèmes d'information

Hind Rakkay

Thèse de doctorat (2009)

Document en libre accès dans PolyPublie

Affichage préliminaire

Libre accès au plein texte de ce document Conditions d'utilisation: Tous droits réservés Télécharger (2MB)

Département:	Département de génie informatique et génie logiciel
Programme:	Génie informatique
Directeurs ou directrices:	Hanifa Boucheneb
URL de PolyPublie:	https://publications.polymtl.ca/123/
Université/École:	École Polytechnique de Montréal
Date du dépôt:	25 juin 2009 14:01
Dernière modification:	01 avr. 2026 11:27

Citer en APA 7:	Rakkay, H. (2009). Approches formelles pour la modélisation et la vérification du contrôle d'accès et des contraintes temporelles dans les systèmes d'information [Thèse de doctorat, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/123/
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Total des téléchargements à partir de PolyPublie

Téléchargements par année

Provenance des téléchargements

Actions réservées au personnel

Afficher document