|
СТ |
State Machine Specification with Reusability |
2004 |
Itabashi G., Takahashi K., Kato Y., Suganuma T., Shiratori N. |
|
|
|
IEICE Trans. Fundamentals |
19.01.2005 |
|
СТ |
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic |
2004 |
Hagiya M., Takahashi K., Yamamoto M., Sato T. |
|
|
|
Lecture Notes in Computer Science |
07.05.2004 |
|
СТ |
Multimedia Architecture to Support Requirements Analysis |
1996 |
Smith J. D., Takahashi K. |
|
|
|
Lecture Notes in Computer Science |
28.03.1996 |
|
СТ |
A String Search Processor LSI |
1990 |
Takahashi K., Yamada H., Hirata M. |
|
|
|
J. Information Processing |
19.02.1991 |
