年度:

1994年度 学術論文誌 / Journals

  1. 岡野 浩三, 今城 広志, 東野 輝夫, 谷口 健一:
    リンクの故障を考慮に入れた分散システムの動作仕様の自動導出
    情報処理学会論文誌, Vol.36, No.1, pp.70-83 (Jan. 1995).
  2. 安本 慶一, 東野 輝夫, 谷口 健一:
    LOTOSによるソフトウェアプロセスの記述とその実行
    コンピュータソフトウェア, Vol.12, No.1, pp.16-30 (Jan. 1995).
  3. Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino and Kenichi Taniguchi:
    Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in A Marked Graph Model
    IEICE Transactions on Fundamentals, Vol.E77-A, No.10, pp.1623-1633 (Oct. 1994).

1994年度 国際会議 / International Conferences

  1. Xiangdong Li, Teruo Higashino, Masahiro Higuchi and Kenichi Taniguchi:
    Automatic Generation of Extended UIO Sequences for Communication Protocols in an EFSM Model
    Proceedings of the Seventh IFIP Workshop on Protocol Test Systems (IWPTS'94), pp.225-240 (Nov. 1994).
  2. Junji Kitamichi, Sumio Morioka, Teruo Higashino and Kenichi Taniguchi:
    Automatic Correctness Proof of Implementation of Synchronous Sequential Circuits Using Algebraic Approach
    Proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD'94), Lecture Notes in Computer Science, Vol.901, , pp.165-184 (Sep. 1994).
  3. Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi and Kenichi Taniguchi:
    Hardware Synthesis from a Restricted Class of LOTOS Expressions
    Proceedings of the 14th International Symposium on Protocol Specification, Testing, and Verification (PSTV-XIV), pp.379-386 (Jun. 1994).
  4. Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Software Process Description using LOTOS and Its Enaction
    Proceedings of the 16th International Conference on Software Engineering (ICSE-16), pp.169-178 (May. 1994).

1994年度 国内学会・研究会 / Domestic Conferences


1994年度 講演 / Invited Talks


1994年度 著書・訳書・解説等 / Edited Books

  1. "Gerard J. Holzmann 著:Design and Validation of Computer Protocols" 水野 忠則, 東野 輝夫, 佐藤 文明, 太田 剛 共訳:
    コンピュータプロトコルの設計法
    コンピュータ通信シリーズ[3], p.600 (Nov. 1994).
  2. 水野 忠則 監修:
    プロトコル言語
    コンピュータ通信シリーズ[1] (Jul. 1994).

1994年度 その他 / Others


Copyright(c) 2018 Higashino Lab. All Rights Reserved. Design by http://f-tpl.com