JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > D-IS. 博士（情報科学） >
Model Synthesis and Parametric Model Checking for Real-Time System Designs
モンテカルロ木探索とアマゾンへの応用
幾何的特徴を持つグラフクラスに対する効率のよいアルゴリズムに関する研究
モデル検査技術を活用した検証指向ソフトウェア設計手法の研究
ハードウェア解析システムによる実行コードの動的最適化に関する研究
