Thèse / Gestion des ressources en programmation certifiée

Le point de départ de ce projet au sein de l’équipe Gallinette a été la découverte d’un modèle mathématique pour les techniques de gestion des ressources de C+…