Publications et rapports

2021. Gestionnaire mémoire dédié au calcul de prédicats ACSL pour la vérification à l'exécution (rapport de stage). PDF

2019. Modélisation d'un chariot élévateur et optimisation de son parcours dans un hangar. PDF - repo

Retour au menu