Mémoire de maîtrise (2014)
 Document en libre accès dans PolyPublie |
|
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 et Steven Chamberland
|
| URL de PolyPublie: | https://publications.polymtl.ca/1548/ |
| Université/École: | École Polytechnique de Montréal |
| Date du dépôt: | 22 déc. 2014 15:15 |
| Dernière modification: | 01 avr. 2026 08:54 |
| Citer en APA 7: | Moussa, M. (2014). Vérification et configuration automatiques de pare-feux par Model Checking et synthèse de contrôleur [Mémoire de maîtrise, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/1548/ |
|---|---|
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 |
