Nombre de documents archivés : 1.
AZOUZ, Salima (2024) Exploration Formelle de la Stabilité des Algorithmes Numériques dans les Systèmes Embarqués PRE - Projet de recherche, ENSTA.