1994 Journals

  1. 岡野 浩三, 今城 広志, 東野 輝夫, 谷口 健一:
    情報処理学会論文誌, Vol.36, No.1, pp.70-83 (Jan. 1995).
  2. 安本 慶一, 東野 輝夫, 谷口 健一:
    コンピュータソフトウェア, 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