DTIS-2025-18

 Vérification automatique de systèmes non bornés

Thématique(s)
Ingénierie des Systèmes et des Logiciels
Niveau d'étude
Fin d'études bac+5
Master 2 recherche
Centre
Toulouse
Fichier joint
Document
DTIS-2025-18.pdf (286.94 Ko)
Statut
À Pourvoir