WEKO3
アイテム
On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach (プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について)
http://hdl.handle.net/10091/17984
http://hdl.handle.net/10091/17984c005fd72-a343-4f28-81e1-65f7fc445329
名前 / ファイル | ライセンス | アクション |
---|---|---|
内容の要旨 (102.8 kB)
|
|
|
審査結果の要旨 (78.6 kB)
|
|
|
博士論文の全文 (757.8 kB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-12-08 | |||||
タイトル | ||||||
タイトル | On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach (プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について) | |||||
言語 | en | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
資源タイプ | doctoral thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
PRATIMA, KUMARI SHAH,
× PRATIMA, KUMARI SHAH, |
|||||
出版者 | ||||||
出版者 | 信州大学 | |||||
引用 | ||||||
内容記述タイプ | Other | |||||
内容記述 | PRATIMA KUMARI SHAH . On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach (プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について). 信州大学, 2014, 博士論文. 博士(工学), 甲第616号, 平成26年9月30日授与. | |||||
書誌情報 |
発行日 2014-09-30 |
|||||
学位授与番号 | ||||||
学位授与番号 | 13601甲第616号 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2014-09-30 | |||||
学位名 | ||||||
学位名 | 博士(工学) | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 13601 | |||||
学位授与機関名 | 信州大学(Shinshu university) | |||||
学位の区分 | ||||||
値 | doctoral | |||||
学位の分野 | ||||||
値 | 工学 | |||||
学位の報告番号 | ||||||
値 | 甲第616号 | |||||
資源タイプ(コンテンツの種類) | ||||||
内容記述タイプ | Other | |||||
内容記述 | Thesis | |||||
出版タイプ | ||||||
出版タイプ | NA | |||||
出版タイプResource | http://purl.org/coar/version/c_be7fb7dd8ff6fe43 |