Jump to main content

博士論文

Empowering Runtime Verification with Polyhedra

Icons representing 博士論文
The cover of this title could differ from library to library. Link to Help Page

Available in National Diet Library

Find on the publisher's website

国立国会図書館デジタルコレクション

Digital data available

Check on the publisher's website

Empowering Runtime Verification with Polyhedra

Persistent ID (NDL)
info:ndljp/pid/12071455
Material type
博士論文
Author
和賀, 正樹ほか
Publisher
-
Publication date
2020-09-28
Material Format
Digital
Capacity, size, etc.
-
Name of awarding university/degree
総合研究大学院大学,博士（情報学）
View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii DissertationsLeave the NDL website. から、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：

identifier:総研大甲第2198号

Search by Bookstore

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Table of Contents

Provided by：国立国会図書館デジタルコレクションLink to Help Page

  • 2023-09-07 再収集

  • 2023-09-07 再収集

Search by Bookstore

Read in Disability Resources

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
博士論文
Title
Empowering Runtime Verification with Polyhedra
Author/Editor
和賀, 正樹
ワガ, マサキ
Masaki, WAGA
Author Heading
和賀, 正樹
ワガ, マサキ
Masaki, WAGA
Publication Date
2020-09-28
Publication Date (W3CDTF)
2020-09-28
Alternative Title
Empowering Runtime Verification with Polyhedra（多面体による実行時検証の発展）
Degree grantor/type
総合研究大学院大学
Date Granted
2020-09-28
Date Granted (W3CDTF)
2020-09-28