本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。
Empowering Runtime Verification with Polyhedra
国立国会図書館館内限定公開
収録元データベースで確認する
国立国会図書館デジタルコレクション
デジタルデータあり
書店で探す
障害者向け資料で読む
目次
2023-09-07 再収集
2023-09-07 再収集
書店で探す
障害者向け資料で読む
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- 和賀, 正樹ワガ, マサキMasaki, WAGA
- 出版年月日等
- 2020-09-28
- 出版年(W3CDTF)
- 2020-09-28
- 並列タイトル等
- Empowering Runtime Verification with Polyhedra(多面体による実行時検証の発展)
- 授与機関名
- 総合研究大学院大学
- 授与年月日
- 2020-09-28
- 授与年月日(W3CDTF)
- 2020-09-28