Issued Patents All Time
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9081900 | Systems and methods for mining temporal requirements from block diagram models of control systems | Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia | 2015-07-14 |