Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10409563 | Generation of application codes from a formal specification | Dominique Portes | 2019-09-10 |
| 8694747 | Method and device for loading and executing instructions with deterministic cycles in a multicore avionic system having a bus of which the access time is not predictable | Benoît Triquet, Frederic Aspro, Frédéric Boniol, Claire Pagetti | 2014-04-08 |