Vous êtes ici

TIS-DTIS-2025-33

Un atelier dédié à la spécification et vérification formelles d’algorithmes distribués

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:

david.chemouil@onera.fr