ネットワーク ソフトウェア ケンショウ ノ タメ ノ ダイキボ ナ ケンショウ カンキョウ コウチク ニ カンスル ケンキュウ
榎本真俊
生駒 : 奈良先端科学技術大学院大学, 2018.3
学位論文2018
Studies of building a large scale experiment environment for network software verification
奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2018年3月
学位記番号: 博第1483号
報告番号: 甲第1483号
学位授与年月日: 2018/03/23
学位の種類: 博士(工学)
学生番号: 1061002
日本語 (jpn)
日本語 (jpn)
榎本, 真俊 (エノモト, マサトシ)
