Gestion des commandes d'une grue à tour : de la spécification formelle au programme de l'automate

  • Frédéric Bracaval

Student thesis: Master typesMaster in Computer science

Date of Award1996
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorEric DUBOIS (Supervisor)

Cite this

'