OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Roux, Pierre"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Davy, Guillaume and Garion, Christophe and Garoche, Pierre-Loic and Roux, Pierre and Thirioux, Xavier. Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. (2018) In: Forum on Specification & Design Languages (FDL 2018), 10 September 2018 - 12 September 2018 (Munich, Germany).

Martin-Dorel, Erik and Roux, Pierre. A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations. (2017) In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), 16 January 2017 - 17 January 2017 (Paris, France).

This list was generated on Tue Jun 2 19:20:33 2020 CEST.