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

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 .


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


  • Pas de résumé disponible.