年度:

1992年度 学術論文誌 / Journals

  1. 李 湘東, 東野 輝夫, 谷口 健一:
    データを含むLOTOS記述に対するテスト系列の自動生成の一手法
    電子情報通信学会論文誌(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 http://f-tpl.com