年度:

1993年度 学術論文誌 / Journals

  1. 北道 淳司, 東野 輝夫, 谷口 健一, 杉山 裕二:
    代数的手法を用いた同期式順序回路の段階的設計法
    電子情報通信学会論文誌(A), Vol.J77-A, No.3, pp.420-429 (Mar. 1994).
  2. Teruo Higashino and Gregor von Bochmann:
    Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
  3. 岡野 浩三, 北道 淳司, 東野 輝夫, 谷口 健一:
    抽象的順序機械型プログラムの階層的設計と在庫管理プログラムへの応用
    電子情報通信学会論文誌 J76-D-I(7) 354-363 1993年
  4. 岡野 浩三, 北道 淳司, 東野 輝夫, 谷口 健一:
    順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
    電子情報通信学会論文誌(D-I), Vol.J76-D-I, No.7, pp.354-363 (Jul. 1993).
  5. 岡野 浩三, 今城 広志, 東野 輝夫, 谷口 健一:
    拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
    情報処理学会論文誌, Vol.34, No.6, pp.1290-1301 (Jun. 1993).

1993年度 国際会議 / International Conferences

  1. Akio Nakata, Teruo Higashino and Kenichi Taniguchi:
    LOTOS Enhancement to Specify Time Constraints among Non-adjacent Actions using 1st-order Logic
    Proceedings of the Sixth International Conference on Formal Description Techniques (FORTE'93), pp.451-466 (Oct. 1993).
  2. Christian Kant, Teruo Higashino and Gregor von Bochmann:
    Deriving Protocol Specifications from Service Specifications Written in LOTOS
    Proceedings of the 12th International IEEE Phoenix Conference on Computers and Communications (IPCCC-93), pp.310-318 (May. 1993).
  3. Teruo Higashino, Kozo Okano, Hiroshi Imajo and Kenichi Taniguchi:
    Deriving Protocol Specifications from Service Specifications in Extended FSM Models
    Proceedings of the 13th IEEE International Conference on Distributed Computing Systems (ICDCS-13), pp.141-148 (May. 1993).

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


1993年度 講演 / Invited Talks


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


1993年度 その他 / Others


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