Vous êtes ici

DTIS-2019-44

Vérification formelle performante pour la logique temporelle du premier ordre
Fin d'études bac+5
Master 2 recherche
Thématique(s): 
Ingénierie des Systèmes et des Logiciels
Toulouse
À Pourvoir