JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > D-IS. 博士（情報科学） >
エージェントの動的信念の論理とその刑法判例への適用に関する研究
車載ネットワークシステムのモデル検査に関する研究
マルチソースマルチリレーネットワークにおける計算と転送のオーバーラップチャンクコード
大規模ネットワーク環境における高速なログ解析基盤と異常検知に関する研究
書換え論理に基づくメタプログラミングを用いた分散システムの形式仕様とモデル検証
