Year:

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