Vous êtes ici

TIS-DTIS-2026-27

Un cadre de vérification auto-active pour les algorithmes répartis

Toulouse

Thématique(s):

Ingénierie des systèmes et des logiciels

spécification formelle ; preuve formelle ; vérification semi-automatique ; algorithmes distribués

Autre

À Pourvoir

TIS:

dsd-tis@onera.fr

Contact:

julien.brunel@onera.fr