Date of Award | 1996 |
---|---|
Original language | French |
Awarding Institution |
|
Supervisor | Eric DUBOIS (Supervisor) |
Gestion des commandes d'une grue à tour : de la spécification formelle au programme de l'automate
Student thesis: Master types › Master in Computer science