|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H15) (Jun.2003 - Mar.2004 >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/1765
|
| Title: | UMLステートチャートに対するモデル検査に関する研究 |
| Authors: | 林, 信宏 |
| Authors(alternative): | リン, シンコウ |
| Keywords: | モデル検査, SMV, UML, ステートチャート
model checking, SMV, UML, statechart |
| Issue Date: | Sep-2003 |
| Description: |
Supervisor:片山 卓也
情報科学研究科
修士 |
| Title(English): | A Research of Model Checking UML Statechart Diagrams |
| Authors(English): | Lin, Hsin-Hung |
| Language: | eng |
| URI: | https://hdl.handle.net/10119/1765 |
| Appears in Collections: | M-IS. 2003年度(H15) (Jun.2003 - Mar.2004)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| 2230abstract.pdf | | 31Kb | Adobe PDF | View/Open | | 2230jabstract.pdf | | 22Kb | Adobe PDF | View/Open | | 2230paper.pdf | | 417Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
