2021. Gestionnaire mémoire dédié au calcul de prédicats ACSL pour la vérification à l'exécution (rapport de stage). PDF résumé
2019. Modélisation d'un chariot élévateur et optimisation de son parcours dans un hangar. PDF - repo
Retour au menu