<  Back to the Polytechnique Montréal portal

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

Jean-François Thibeault

Masters thesis (2006)

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (7MB)
Cite this document: Thibeault, J.-F. (2006). Exploration de techniques de modélisation et de vérification logicielle en avionique (Masters thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/7835/
Show abstract Hide abstract

Abstract

Revue de la conception des systèmes réactifs -- L'outil scade -- La méthodologie Scade -- La vérification avec Scade.

Uncontrolled Keywords

SCADE Suite (Logiciel); Avionique -- Informatique; Conception assistée par ordinateur en génie logiciel; Logiciels -- Développement

Open Access document in PolyPublie
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: Département de génie informatique et génie logiciel
Date Deposited: 04 Aug 2021 11:05
Last Modified: 25 Aug 2021 14:58
PolyPublie URL: https://publications.polymtl.ca/7835/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only