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