Issued Patents 2004
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6715107 | Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest | Dana Fisman, Leonid Gluhovsky, Tali Yatzhar-Haham | 2004-03-30 |
| 6691078 | Target design model behavior explorer | Eli Dichterman, Leonid Gluhovsky, Anna Gringauze, Yossi Malka, Yaron Wolfsthal +1 more | 2004-02-10 |