Identifiant pérenne de la notice : 23462034X
Notice de type
Personne
Formal Verification for Embedded Implementation of Convex Optimization Algorithms
/ Raphael Cohen, Guillaume Davy, Eric Feron, Pierre-Loic Garoche. In : IFAC 2017 World
Congress, 09-14 July 2017 , Toulouse, France
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial