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