Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10417110 | Method for verifying traceability of first instructions in a procedural programming language generated from second instructions in a modelling language | Severine Morin, Bertrand Corruble, Bertrand Tavernier, Guy Renault | 2019-09-17 |