Master's thesis (2006)
|
Open Access to the full text of this document Published Version Terms of Use: All rights reserved Download (7MB) |
| Additional Information: | 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/275811779 |
|---|---|
| Department: | Department of Computer Engineering and Software Engineering |
| Academic/Research Directors: |
Guy Bois |
| ISBN: | 9780494255797; 049425579X |
| PolyPublie URL: | https://publications.polymtl.ca/7835/ |
| Institution: | École Polytechnique de Montréal |
| Date Deposited: | 04 Aug 2021 11:05 |
| Last Modified: | 27 Sep 2024 00:37 |
| Cite in APA 7: | Thibeault, J.-F. (2006). Exploration de techniques de modélisation et de vérification logicielle en avionique [Master's thesis, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/7835/ |
|---|---|
Statistics
Total downloads
Downloads per month in the last year
Origin of downloads
