JAIST Repository > JAIST > Theses > Doctor of Philosophy(Information Science) >
Model Synthesis and Parametric Model Checking for Real-Time System Designs
モンテカルロ木探索とアマゾンへの応用
幾何的特徴を持つグラフクラスに対する効率のよいアルゴリズムに関する研究
モデル検査技術を活用した検証指向ソフトウェア設計手法の研究
ハードウェア解析システムによる実行コードの動的最適化に関する研究