JAIST Repository > JAIST > Theses > Doctor of Philosophy(Information Science) >
エージェントの動的信念の論理とその刑法判例への適用に関する研究
車載ネットワークシステムのモデル検査に関する研究
マルチソースマルチリレーネットワークにおける計算と転送のオーバーラップチャンクコード
大規模ネットワーク環境における高速なログ解析基盤と異常検知に関する研究
書換え論理に基づくメタプログラミングを用いた分散システムの形式仕様とモデル検証