Modeles, algorithmes et outils de gestion de donnees pour le fast-checking/Data management models, algorithms and tools for fast-checking

par Ludivine Duroyon

Projet de thèse en Informatique

Sous la direction de Francois Goasdoue et de Ioana Manolescu.

Thèses en préparation à Rennes 1 , dans le cadre de Mathématiques et STIC , en partenariat avec INSTITUT DE RECHERCHES EN INFORMATIQUE ET SYSTEMES ALEATOIRES (equipe de recherche) depuis le 17-11-2017 .


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


  • Pas de résumé disponible.