博士論文

Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)

博士論文を表すアイコン

Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)

資料種別
博士論文
著者
Zhenya, Zhangほか
出版者
-
出版年
-
資料形態
デジタル
ページ数・大きさ等
-
授与大学名・学位
総合研究大学院大学,博士(情報学)
すべて見る

資料に関する注記

一般注記:

application/pdf総研大甲第2197号

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

  • 総研大リポジトリ

    デジタル
    連携先のサイトで、学術機関リポジトリデータベース(IRDB)(機関リポジトリ)が連携している機関・データベースの所蔵状況を確認できます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
博士論文
著者・編者
Zhenya, Zhang
ゼンヤ, ジャン
並列タイトル等
Hierarchical Optimization for Hybrid System Falsification
授与機関名
総合研究大学院大学
授与年月日
2020-09-28
報告番号
甲第2197号
学位
博士(情報学)
本文の言語コード
eng