|
JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy（Information Science） >
H21) (Jun.2009 - Mar.2010 >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/8865
|
| Title: | モデル検査技術を活用した検証指向ソフトウェア設計手法の研究 |
| Authors: | 金井, 勇人 |
| Authors(alternative): | かない, はやと |
| Keywords: | モデル検査
検証パターン |
| Issue Date: | Mar-2010 |
| Description: | Supervisor:Defago Xavier
情報科学研究科
博士 |
| Title(English): | Verification oriented software design method using model checking |
| Authors(English): | KANAI, Hayato |
| Language: | jpn |
| URI: | https://hdl.handle.net/10119/8865 |
| Appears in Collections: | D-IS. 2009年度(H21) (Jun.2009 - Mar.2010)
|
All items in DSpace are protected by copyright, with all rights reserved.
|
