DTIS-2025-63

Formal Verification of Machine Learning Algorithms on Advanced Avionics Hardware

Thématique(s)
Sûreté et Sécurité des Systèmes Cyber-physiques
Niveau d'étude
Fin d'études bac+5
Master 2 recherche
Centre
Toulouse
Fichier joint
Document
DTIS-2025-63.pdf (158.37 Ko)
Statut
À Pourvoir