<  Back to the Polytechnique Montréal portal

Exploration de techniques de modélisation et de vérification logicielle en avionique

Jean-François Thibeault

Master's thesis (2006)

Open Access document in PolyPublie
[img]
Preview
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

Repository Staff Only

View Item View Item