Génération automatique de tests à partir de propriétés temporelles et de modèles comportementaux

par Kalou Cabrera castillos

Thèse de doctorat en Informatique

La soutenance a eu lieu le 28-11-2013

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 Jacques Julliand.

Thèses en préparation à Besançon , dans le cadre de ED 37 - Sciences physiques pour l'ingénieur et microtechniques , en partenariat avec Institut FEMTO-ST: Franche-Comté électronique mécanique thermique et optique - sc et technologies (equipe de recherche) depuis le 11-12-2009 .

mots clés

• Sciences pour l'ingénieur et microtechniques

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

Pas de résumé disponible.