Communication Dans Un Congrès
Année : 2016
Joelle Sulian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01371480
Soumis le : lundi 26 septembre 2016-09:52:23
Dernière modification le : vendredi 5 août 2022-14:41:30
Dates et versions
Identifiants
- HAL Id : hal-01371480 , version 1
Citer
Assalé Adjé. Proving properties on PWA Systems using Copositive and Semidefinite Programming. Numerical Software Verification (NSV 2016), Jul 2016, Toronto, Canada. ⟨hal-01371480⟩
72
Consultations
0
Téléchargements