ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 学位論文(修士)

不揮発性メモリ向けオブジェクト永続化アルゴリズムのモデル検査器Spinを用いた検証

https://doi.org/10.32149/00002476
https://doi.org/10.32149/00002476
73020e3b-21b4-4b5e-999e-619471206d83
名前 / ファイル ライセンス アクション
1245115.pdf m_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
著者 飯干, 寛幸

× 飯干, 寛幸

飯干, 寛幸

Search repository
書誌情報 発行日 2022-03
その他のタイトル
その他のタイトル Verification of an Algorithm for Persistent Object in Non-Volatile Memory Using Spin Model Checker
出版者
出版者 高知工科大学
アドバイザー
高田 喜朗
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 12:50:03.242921
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3