WEKO3
アイテム
On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）
https://shinshu.repo.nii.ac.jp/records/33880
https://shinshu.repo.nii.ac.jp/records/33880e412f3ed-9145-4ae6-a102-6cce1a166b6a
| Item type | Thesis or Dissertation(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2020-09-03 | |||||||
| タイトル | ||||||||
| タイトル | On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について） | |||||||
| 作成者(その他言語) |
PRATIMA, KUMARI SHAH,
× PRATIMA, KUMARI SHAH,
|
|||||||
| 公開者(その他言語) | ||||||||
| 姓名 | 信州大学 | |||||||
| 書誌情報 | 発行日 2014-09-30 | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||
| 資源タイプ | doctoral thesis | |||||||
| アクセス権 | ||||||||
| アクセス権 | metadata only access | |||||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||||
| 日付 | ||||||||
| 日付 | 2015-09-28 | |||||||
| 日付タイプ | Created | |||||||
| 資源タイプ | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Thesis | |||||||
| その他の資源識別子 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | PRATIMA KUMARI SHAH . On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）. 信州大学, 2014, 博士論文. 博士（工学）, 甲第616号, 平成26年9月30日授与. | |||||||
| 資源識別子URI | ||||||||
| 識別子 | http://hdl.handle.net/10091/17984 | |||||||
| 識別子タイプ | HDL | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
| 学位授与番号 | ||||||||
| 学位授与番号 | 甲第616号 | |||||||
| 学位授与年月日 | ||||||||
| 学位授与年月日 | 2014-09-30 | |||||||
| 学位名 | ||||||||
| 学位名 | 博士（工学） | |||||||
| 学位授与機関 | ||||||||
| 学位授与機関名 | 信州大学(Shinshu university) | |||||||
