Issued Patents 2017
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9665350 | Automatic test generation for model-based code coverage | Zsolt Kalmar, Gregoire Hamon | 2017-05-30 |
| 9619593 | System and method for identifying and reducing model complexities affecting model verification | — | 2017-04-11 |
| 9575939 | Linked code generation report | Kai Tuschner | 2017-02-21 |