年度:

1984年度 学術論文誌 / Journals

  1. Teruo Higashino, Masaaki Mori, Yuuji Sugiyama, Kenichi Taniguchi and Tadao Kasami:
    An Algebraic Specification of HDLC Procedures and Its Verification
    IEEE Transactions on Software Engineering, Vol.SE-10, No. 6, pp.825-837 (Nov. 1984).
  2. 東野 輝夫, 谷口 健一, 嵩 忠雄, 藤井 護, 森 将豪:
    代数的に記述された通信プロトコルの動的性質の検証
    電子通信学会論文誌(D), Vol.J69-D, No.10, pp.1471-1480 (Oct. 1986).

1984年度 国際会議 / International Conferences


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


1984年度 講演 / Invited Talks


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


1984年度 その他 / Others


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