学位論文要旨
No
106731
著者(漢字)
越田,一郎
著者(英字)
著者(カナ)
コシダ,イチロウ
標題(和)
プロトコルの記述と検証を目的とした時間論理の応用
標題(洋)
報告番号
106731
報告番号
甲06731
学位授与日
1985.03.29
学位種別
課程博士
学位種類
工学博士
学位記番号
博工第1913号
研究科
工学系研究科
専攻
電子工学専攻
論文審査委員
─:
内容要旨
データはありません
審査要旨
データはありません
UTokyo Repositoryリンク