Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7752608 | Systems, methods and apparatus for verification of knowledge-based systems | Michael G. Hinchey, James L. Rash, Denis Gracinin, Christopher A. Rouff | 2010-07-06 |
| 7739671 | Systems, methods and apparatus for implementation of formal specifications derived from informal requirements | Michael G. Hinchey, James L. Rash, Denis Gracinin, Christopher A. Rouff | 2010-06-15 |