Analyse des données de simulation pour le diagnostic : application à la validation formalle des modèles de systèmes

par Vincent Leilde

Projet de thèse en Informatique

Sous la direction de Philippe Dhaussy et de Vincent Ribaud.

Thèses en préparation à Brest , dans le cadre de Santé, Information, Communication, Mathématiques, Matière , en partenariat avec Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance (equipe de recherche) depuis le 14-12-2015 .


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


  • Pas de résumé disponible.