Vous êtes ici

Accueil

TIS-DTIS-2025-11

Vérification formelle d’une librairie distribuée de manipulation de maillage
Palaiseau
Thématique(s): 
Ingénierie des systèmes et des logiciels
Preuve de programme
distribution
Maillage
PDF icon tis-dtis-2025-11.pdf
Autre
À Pourvoir
TIS: 
dsd-tis@onera.fr
Contact: 
michael.lienhardt@onera.fr

ONERA - Direction des Ressources Humaines - Service Emploi-Formation
Chemin de la Hunière - BP 80100, FR-91123 PALAISEAU CEDEX