Vous êtes ici

TIS-DTIS-2026-41

Vérification formelle efficace d’un système de contrôle aérien décentralisé

Palaiseau

Thématique(s):

Ingénierie des systèmes et des logiciels

Vérification formelle

model-checking

contrôle aérien (ATM)

drones (UTM)

Autre

À Pourvoir

TIS:

dsd-tis@onera.fr

Contact:

romain.kervarc@onera.fr