|
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:
https://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: | https://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.
|
