年度:

1983年度 学術論文誌 / Journals

  1. 東野 輝夫, 工藤 尊弘, 縄田 修造, 杉山 裕二, 谷口 健一, 嵩 忠雄:
    代数的仕様検証支援系及びそれを用いた検証例
    電子通信学会論文誌(D), Vol.J67-D, No.4, pp.472-479 (Apr. 1984).
  2. 東野 輝夫, 森 将豪, 谷口 健一, 嵩 忠雄:
    代数的に記述されたHDLCプロトコルの検証
    電子通信学会論文誌(D), Vol.J66-D, No.7, pp.773-780 (Jul. 1983).

1983年度 国際会議 / International Conferences


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


1983年度 講演 / Invited Talks


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


1983年度 その他 / Others


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