Sujet : AltaRica et les robots.



Responsable : Alain Griffault
Téléphone : 05 40 00 69 15

e-mail : Alain.Griffault@labri.fr

Présentation du sujet :

Le Master ISC a acheté pour la formation de ses étudiants 4 robots LEGO MINDSTORMS Education NXT.

L'objectif de ce projet est de montrer l'applicabilité du cours de conception formelle à des systèmes programmables comme les robots.

Travail à faire :

Il consistera à :


Mot-clés : Conception formelle, AltaRica, Robots.