WEKO3
アイテム
不揮発性メモリ向けオブジェクト永続化アルゴリズムのモデル検査器Spinを用いた検証
https://doi.org/10.32149/00002476
https://doi.org/10.32149/0000247673020e3b-21b4-4b5e-999e-619471206d83
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
ｍ_1245115.pdf (525.3 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-06-27 | |||||||
| タイトル | ||||||||
| タイトル | 不揮発性メモリ向けオブジェクト永続化アルゴリズムのモデル検査器Spinを用いた検証 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||||
| 資源タイプ | thesis | |||||||
| ID登録 | ||||||||
| ID登録 | 10.32149/00002476 | |||||||
| ID登録タイプ | JaLC | |||||||
| 著者 |
飯干, 寛幸
× 飯干, 寛幸
|
|||||||
| 書誌情報 | 発行日 2022-03 | |||||||
| その他のタイトル | ||||||||
| その他のタイトル | Verification of an Algorithm for Persistent Object in Non-Volatile Memory Using Spin Model Checker | |||||||
| 出版者 | ||||||||
| 出版者 | 高知工科大学 | |||||||
| アドバイザー | ||||||||
| 高田 喜朗 | ||||||||
