Aller au contenu principal
Thèses et post-docs ONERA - Formation par la recherche
Menu principal
Accueil
Rejoindre l'ONERA
TRAVAILLER A L'ONERA
POSTULER À NOS CDI, CDD, CA
FAIRE UN STAGE
LA FORMATION PAR LA RECHERCHE - THESES & POST-DOCS
Faire une thèse ou un post-doc à l'ONERA
Propositions de thèses
Propositions de post-docs
Journées des doctorants
Prix des doctorants
Soutenances de thèses et HDR en cours
Vous êtes ici
Accueil
TIS-DTIS-2025-34
Vérification automatique de systèmes non bornés
Toulouse
Thématique(s):
Ingénierie des systèmes et des logiciels
spécification formelle ; preuve formelle ; vérification semi-automatique ; systèmes à états infinis
tis-dtis-2025-34.pdf
Autre
À Pourvoir
Contact:
Julien.brunel@onera.fr
S'abonner aux
offres
Alumni
