Issued Patents 2017
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9747079 | Method and system of software specification modeling | Kit Yan Siu, Andrew Walter Crapo, Michael Richard Durling, Luca Parolini, Han Yu +1 more | 2017-08-29 |
| 9639450 | Scalable methods for analyzing formalized requirements and localizing errors | — | 2017-05-02 |