Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11431594 | Part extraction device, part extraction method and recording medium | Takayuki Kuroda | 2022-08-30 |
| 10990414 | System construction assistance system, information processing device, method and storage medium for storing program | — | 2021-04-27 |
| 10210070 | Model checking apparatus, model checking method, and storage medium | — | 2019-02-19 |
| 10067816 | Model checking apparatus and method, and storage medium having program stored therein | Nobuyuki Tomizawa | 2018-09-04 |
| 9880923 | Model checking device for distributed environment model, model checking method for distributed environment model, and medium | Nobuyuki Tomizawa | 2018-01-30 |