Issued Patents 2018
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10067816 | Model checking apparatus and method, and storage medium having program stored therein | Yutaka YAKUWA | 2018-09-04 |
| 9880923 | Model checking device for distributed environment model, model checking method for distributed environment model, and medium | Yutaka YAKUWA | 2018-01-30 |