WEKO3
アイテム
Hierarchical Optimization for Hybrid System Falsification（ハイブリッドシステム反例生成のための階層的最適化フレームワーク）
https://ir.soken.ac.jp/records/6343
https://ir.soken.ac.jp/records/6343284cad71-7f1b-4c90-b8ea-c4bca29ea517
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
要旨･審査要旨/Abstract, Screening Result (2.2 MB)
|
||
|
本文 / Thesis (5.8 MB)
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2020-11-11 | |||||
| タイトル | ||||||
| タイトル | Hierarchical Optimization for Hybrid System Falsification（ハイブリッドシステム反例生成のための階層的最適化フレームワーク） | |||||
| タイトル | ||||||
| タイトル | Hierarchical Optimization for Hybrid System Falsification | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
| 資源タイプ | doctoral thesis | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 著者名 |
Zhenya, Zhang
× Zhenya, Zhang |
|||||
| フリガナ |
ゼンヤ, ジャン
× ゼンヤ, ジャン |
|||||
| 著者 |
Zhenya, Zhang
× Zhenya, Zhang |
|||||
| 学位授与機関 | ||||||
| 学位授与機関識別子Scheme | kakenhi | |||||
| 学位授与機関識別子 | 12702 | |||||
| 学位授与機関名 | 総合研究大学院大学 | |||||
| 学位名 | ||||||
| 学位名 | 博士（情報学） | |||||
| 学位記番号 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 総研大甲第2197号 | |||||
| 研究科 | ||||||
| 値 | 複合科学研究科 | |||||
| 専攻 | ||||||
| 値 | 17 情報学専攻 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2020-09-28 | |||||
| 学位授与年度 | ||||||
| 値 | 2020 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 甲第2197号 | |||||
| 所蔵 | ||||||
| 値 | 有 | |||||
| フォーマット | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | application/pdf | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
