Stages et thèses

Offres de thèse

Modélisation et vérification formelles de contraintes de vol

Sep 1

(directeur)
(co-encadrant)

Offres de stage

Structured Musical Improvisation using Formal Methods

Sep 2

Du 02/09/2019 au 01/12/2019
Durée: 3 mois