SYFI

SYFI - Synthèse de code en virgule fixe, with the SME Numalis, Univ. of Perpignan, IRIT and Onera, funded by the program Groupement pour la Recherche Appliquée INnovante avec les Entreprises (GRAINE) of the Région Occitanie, led by Matthieu Martel

Avatar
Pierre-loic Garoche
Senior Research Scientist in Formal Verification

Related