Processus et outils qualifiables pour le développement de systèmes critiques certifiés en avionique basés sur la génération automatique de code

par Ricardo Bedin França

Thèse de doctorat en Sûreté de logiciel et calcul de haute performance

Sous la direction de Patrick Sallé et de Marc Pantel.

Soutenue le 10-04-2012

à Toulouse, INPT .


  • Résumé

    Thèse confidentielle

  • Titre traduit

    Processes and qualifiable tools for the development of safety-critical certified systems in avionics based on automated code generation


  • Résumé

    Thèse confidentielle



Le texte intégral de cette thèse sera accessible librement à partir du 10-04-2022


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse ?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.