|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 | |
|
