Publications

Publications de

Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture Thèses et habilitations
  • Ricardo Bedin Franca

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

    Thèse de doctorat, Institut National Polytechnique de Toulouse, avril 2012.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant