JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
R05) (Jun.2023 - Mar.2024 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/18924
|
Title: | 【課題研究報告書】分散リーダエレクションプロトコルの形式仕様とモデル検査 |
Authors: | 小椋, 友芳 |
Authors(alternative): | おぐら, ともよし |
Keywords: | モデル検査 分散アルゴリズム リーダ選出 安全性 活性 状態遷移システム model checking distributed algorithm leader election Maude safety property liveness property state transition system |
Issue Date: | Mar-2024 |
Description: | Supervisor: 緒方 和博 先端科学技術研究科 修士(情報科学) |
Title(English): | Formal Specification and Model Checking of Distributed Leader Election Protocols【Project Report】 |
Authors(English): | Ogura, Tomoyoshi |
Language: | jpn |
URI: | http://hdl.handle.net/10119/18924 |
Appears in Collections: | M-IS. 2023年度(R05) (Jun.2023 - Mar.2024)
|
Files in This Item:
File |
Description |
Size | Format |
abstract.pdf | 要旨 | 23Kb | Adobe PDF | View/Open | jabstract.pdf | 日本語要旨 | 150Kb | Adobe PDF | View/Open | paper.pdf | 本文 | 2174Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|