Vérification automatisée d'Algorithmes aléatoires et distribués

par Bastien Thomas

Projet de thèse en Informatique

Sous la direction de Nathalie Bertrand.

Thèses en préparation à Rennes 1 , dans le cadre de Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec INSTITUT DE RECHERCHES EN INFORMATIQUE ET SYSTEMES ALEATOIRES (equipe de recherche) depuis le 20-12-2019 .


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


  • Pas de résumé disponible.