Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6983460 | Method for loading applications into a multiapplication embedded system equipped with data processing resources, corresponding embedded system and execution method | Christian Goire | 2006-01-03 |
| 6808111 | Terminal software architecture for use with smart cards | Forough Kashef, Christophe Colas, Lance S. Nakamura, Thomas H. Sak | 2004-10-26 |
| 6424962 | Method of automated proving for unrestricted first-order logic | — | 2002-07-23 |
| 4943201 | Mechanism for handling garbage pails | — | 1990-07-24 |