Formal Verification for Embedded Implementation of Convex Optimization Algorithms
| Autor: | Cohen, Raphael *, **, Davy, Guillaume ****, ***, Feron, Eric *, Garoche, Pierre-Loïc ** |
|---|---|
| Zdroj: | In IFAC PapersOnLine July 2017 50(1):5867-5874 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|