Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9483593 | Method for decomposing a hardware model and for accelerating formal verification of the hardware model | Matthias Glueck | 2016-11-01 |
| 4821216 | Multifunction meter for use in an aircraft | John S. Howell | 1989-04-11 |