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 |
| URL de PolyPublie: | https://publications.polymtl.ca/1654/ |
| Université/École: | École Polytechnique de Montréal |
| Date du dépôt: | 01 avr. 2015 16:12 |
| Dernière modification: | 03 avr. 2026 00:25 |
| Citer en APA 7: | Weslati, M. K. (2014). Vers l'intégration de paramètres temporels statiques et dynamiques dans les techniques de vérification par ordre partiel [Mémoire de maîtrise, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/1654/ |
|---|---|
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 |
