|
|
|
|
|
|
|
|
|
|
|
|
|
FOREWORD Haruhisa ICHIKAWA | Publication: IEICE TRANSACTIONS on Communications
Publication Date: 2005/03/01
Vol. E88-B
No. 3
pp. 845-845
Type of Manuscript:
FOREWORD Category: Keyword:
| | Summary | Full Text:PDF | |
|
|
|
Optimization of Concurrent Process Program Specification June KATO Masaki ITOH Haruhisa ICHIKAWA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/12/25
Vol. E73-E
No. 12
pp. 1994-2000
Type of Manuscript:
Special Section PAPER (Special Issue on the 3rd Karuizawa Workshop on Circuits and Systems) Category: Graphs and Petri Nets Keyword:
| | Summary | Full Text:PDF | |
|
Protocol-Oriented Service Specifications and Their Transformation into CCITT Specification and Description Language Haruhisa ICHIKAWA Masaki ITOH Masashi SHIBASAKI | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1986/04/25
Vol. E69-E
No. 4
pp. 524-535
Type of Manuscript:
PAPER Category: Switching Systems and Communication Processing Keyword:
| | Summary | Full Text:PDF | |
|
Protocol Verification Algorithm Using Reduced Reachability Analysis Masaki ITOH Haruhisa ICHIKAWA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1983/02/25
Vol. E66-E
No. 2
pp. 88-93
Type of Manuscript:
PAPER Category: Protocol Keyword:
| | Summary | Full Text:PDF | |
|
Specification Description and Synthesis of Communication Control System Haruhisa ICHIKAWA Masaki ITOH Yasuyuki YOSHIDA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1982/06/25
Vol. E65-E
No. 6
pp. 361-362
Type of Manuscript:
LETTER Category: Automata and Languages Keyword:
| | Summary | Full Text:PDF | |
|