Mémoire de maîtrise (2006)
 Document en libre accès dans PolyPublie |
|
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 (7MB) |
Afficher le résumé
Cacher le résumé
Mots clés
SCADE Suite (Logiciel); Avionique -- Informatique; Conception assistée par ordinateur en génie logiciel; Logiciels -- Développement
| 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/275811779 |
|---|---|
| Département: | Département de génie informatique et génie logiciel |
| Directeurs ou directrices: |
Guy Bois
|
| URL de PolyPublie: | https://publications.polymtl.ca/7835/ |
| Université/École: | École Polytechnique de Montréal |
| Date du dépôt: | 04 août 2021 11:05 |
| Dernière modification: | 27 sept. 2024 00:37 |
| Citer en APA 7: | Thibeault, J.-F. (2006). Exploration de techniques de modélisation et de vérification logicielle en avionique [Mémoire de maîtrise, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/7835/ |
|---|---|
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 |
