Vous êtes ici

Accueil

TIS-DTIS-2026-28

Formal Verification of Quantized Neural Networks on Embedded Platforms
Toulouse
Thématique(s): 
Ingénierie des systèmes et des logiciels
Neural Networks
Formal verification
quantization
embedded systems
PDF icon tis-dtis-2026-28.pdf
Autre
À Pourvoir
TIS: 
dsd-tis@onera.fr
Contact: 
julien.brunel@onera.fr

ONERA - Direction des Ressources Humaines - Service Emploi-Formation
Chemin de la Hunière - BP 80100, FR-91123 PALAISEAU CEDEX