<  Back to the Polytechnique Montréal portal

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item Type | Document subtype | No Grouping
Jump to: 2009
Number of items: 1.

2009

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. (PhD thesis, École Polytechnique de Montréal).

This list was generated on Sun Nov 17 01:40:52 2019 EST.