Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6038378 | Method and apparatus for testing implementations of software specifications | Mark Trumpler, Lois Scirocco Elkind | 2000-03-14 |
| 5918037 | Generating tests for an extended finite state machine using different coverage levels for different submodels | Sylvia C. Tremblay | 1999-06-29 |
| 5870590 | Method and apparatus for generating an extended finite state machine architecture for a software specification | Mark Trumpler, Lois Scirocco Elkind | 1999-02-09 |
| 5777618 | Method and apparatus for graphical panning | Kaare Hedeman Klevjer, Ramesh H. Vaswani | 1998-07-07 |
| 5408597 | Method and apparatus for schematic routing | Kaare Hedeman Klevjer, Ramesh H. Vaswani | 1995-04-18 |
| 5394347 | Method and apparatus for generating tests for structures expressed as extended finite state machines | Sylvia C. Tremblay, Thomas M. Lynch | 1995-02-28 |