Issued Patents All Time
Showing 51–54 of 54 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8473563 | Extensible scheduling of messages on time-triggered busses | — | 2013-06-25 |
| 8275729 | Verification of linear hybrid automaton | — | 2012-09-25 |
| 7788667 | Extensible scheduling of tasks in time-triggered distributed embedded systems | — | 2010-08-31 |
| 7787488 | System and method of optimizing the static segment schedule and cycle length of a time triggered communication protocol | — | 2010-08-31 |