Empowering Runtime Verification with Polyhedra（多面体による実行時検証の発展）

• 資料種別: 博士論文
• タイトル: Empowering Runtime Verification with Polyhedra（多面体による実行時検証の発展）
• 著者・編者: 和賀, 正樹; ワガ, マサキ; WAGA, Masaki
• 著者標目: 和賀, 正樹; ワガ, マサキ; WAGA, Masaki
• 並列タイトル等: Empowering Runtime Verification with Polyhedra
• 授与機関名: 総合研究大学院大学
• 授与年月日: 2020-09-28
• 報告番号: 甲第2198号
• 学位: 博士（情報学）
• 本文の言語コード: eng
• 対象利用者: 一般
• 一般注記: application/pdf; 総研大甲第2198号
• 記録形式（IMT）: application/pdf
• オンライン閲覧公開範囲: インターネット公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 総合研究大学院大学 : 総研大リポジトリ

目次

要旨･審査要旨/Abstract, Screening Result

本文 / Thesis