JAIST Repository >
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
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 SizeFormat
2230abstract.pdf31KbAdobe PDFView/Open
2230jabstract.pdf22KbAdobe PDFView/Open
2230paper.pdf417KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology