Mémoire de maîtrise (2003)
Accéder à ce document
Disponible
Libre accès au texte intégral dans PolyPublie
Texte
Libre accès au texte intégral dans PolyPublie
Texte
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:
Directeurs ou directrices:
ISBN:
061286409X; 9780612864092
Adresse URL de PolyPublie:
Université/École:
École Polytechnique de Montréal
OAI:
oai:publications.polymtl.ca:7131
ORCID
Date du dépôt:
04 août 2021 11:05
Dernière modification:
14 oct. 2026 10:47
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
