1992 Journals

  1. 李 湘東, 東野 輝夫, 谷口 健一:
    電子情報通信学会論文誌(B-I), Vol.J75-B-I, No.11, pp.734-743 (Nov. 1992).
  2. Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura and Kenichi Taniguchi:
    PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes
    IEICE Transactions on Communications, Vol.E75-B, No.10, pp.1015-1023 (Oct. 1992).

1992 International Conferences

  1. Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi and Sumio Masuda:
    VTM : A Graph Editor for Large Trees
    Proceedings of the IFIP 12th World Computer Congress, Vol.1, pp.210-216 (Sep. 1992).
  2. Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto and Kenichi Taniguchi:
    A Test System for a Restricted Class of LOTOS Expressions with Data Parameters
    Proceedings of the Fifth IFIP Workshop on Protocol Test Systems (IWPTS'92), North Holland, pp.205-216 (Sep. 1992).

1992 Domestic Conferences

1992 Invited Talks

1992 Edited Books

  1. 東野 輝夫, 北道 淳司, 谷口 健一:
    コンピュータソフトウェア(ソフトウェア科学会論文誌), 第9巻, pp.31-39 (Nov. 1992).

1992 Others

Copyright(c) 2018 Higashino Lab. All Rights Reserved. Design by