Mémoire de maîtrise (2003)
|
Libre accès au plein texte de ce document Version officielle de l'éditeur Conditions d'utilisation: Tous droits réservés Télécharger (8MB) |
Renseignements supplémentaires: | Le fichier PDF de ce document a été produit par Bibliothèque et Archives Canada selon les termes du programme Thèses Canada https://canada.on.worldcat.org/oclc/57166705 |
---|---|
Département: | Département de génie informatique et génie logiciel |
Directeurs ou directrices: |
Guy Bois |
URL de PolyPublie: | https://publications.polymtl.ca/7131/ |
Université/École: | École Polytechnique de Montréal |
Date du dépôt: | 04 août 2021 11:05 |
Dernière modification: | 08 avr. 2024 09:33 |
Citer en APA 7: | Lemire, J.-F. (2003). Synthèse assistée de moniteurs d'assertions à partir d'une méthodologie d'encapsulation d'assertions dans une spécification exécutable [Mémoire de maîtrise, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/7131/ |
---|---|
Statistiques
Total des téléchargements à partir de PolyPublie
Téléchargements par année
Provenance des téléchargements