Vous êtes ici

TIS-DTIS-2024-29

Vérification formelle de contraintes de vol pour le contrôle aérien des drones

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