Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test

par Sékou harouna Kangoye

Thèse de doctorat en Sciences de l'ingénieur

La soutenance a eu lieu le 27-06-2016

Le document qui a justifié la délivrance du diplôme est en cours de traitement par la bibliothèque de l'établissement de soutenance.

Sous la direction de Mihaela Barreau et de Alexis Todoskoff.

Thèses en préparation à Angers , dans le cadre de Sciences et Technologies de l'Information et de Mathématiques , en partenariat avec 9 - Laboratoire angevin de recherche en ingénierie des systèmes (equipe de recherche) depuis le 11-10-2012 .

mots clés

• Sciences et technologies de l'information et de la communication

Pas de résumé en français disponible.

Pas de résumé disponible.