年度:

1990年度 学術論文誌 / Journals

  1. 木本 智久 ,二宮 清 ,東野 輝夫,谷口 健一 ,森 将豪 :
    通信プロトコルにおけるエラーリカバリ性の自動検証の一方式
    電子情報通信学会論文誌 J73-D-I(5) 1990年
  2. 木本 智久, 東野 輝夫, 谷口 健一, 二宮 清, 森 将豪:
    通信プロトコルのエラーリカバリ性の自動検証
    電子情報通信学会論文誌(D-I), Vol.J73-D-I, No.5, pp.500-509 (May. 1990).

1990年度 国際会議 / International Conferences

  1. Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii and Masaaki Mori:
    An Algebraic Method for Verifying Progress Property of Communication Protocols
    World Scientific Series in Computer Science, Vol.31, pp.39-59 (Apr. 1991).
  2. Teruo Higashino and Kenichi Taniguchi:
    A System for the Refinements of Algebraic Specifications and thier Efficient Executions
    Proceedings of the 24-th Hawaii International Conference on System Sciences (HICSS-24), Vol.II, pp.186-195 (Jan. 1991).

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


1990年度 講演 / Invited Talks


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


1990年度 その他 / Others


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