JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
H25) (Jun.2013 - Mar.2014 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/12057
|
Title: | モデル検査における誤り原因の特定に関する研究 |
Authors: | 小川, 直哉 |
Authors(alternative): | おがわ, なおや |
Keywords: | モデル検査 model checking Spin |
Issue Date: | Mar-2014 |
Description: | Supervisor:青木利晃 准教授 情報科学研究科 修士 |
Title(English): | On identifying the cause of the error about model checking |
Authors(English): | Ogawa, Naoya |
Language: | jpn |
URI: | http://hdl.handle.net/10119/12057 |
Appears in Collections: | M-IS. 2013年度(H25) (Jun.2013 - Mar.2014)
|
All items in DSpace are protected by copyright, with all rights reserved.
|