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/1772

Title: CafeOBJ を用いたハイブリッドシステムの形式的な仕様記述と検証
Authors: 山岸, 大悟
Authors(alternative): やまぎし, だいご
Keywords: CafeOBJ, ハイブリッドシステム, HOTS, アクティビティ, モデル化
CafeOBJ, hybrid systems, HOTS, activity, modeling
Issue Date: Mar-2004
Description: 
Supervisor:二木 厚吉
情報科学研究科
修士
Title(English): Formal specification development and verification of hybrid systems based on CafeOBJ
Authors(English): Yamagishi, Daigo
Language: jpn
URI: http://hdl.handle.net/10119/1772
Appears in Collections:M-IS. 2003年度(H15) (Jun.2003 - Mar.2004)

Files in This Item:

File Description SizeFormat
2267abstract.pdf96KbAdobe PDFView/Open
2267jabstract.pdf53KbAdobe PDFView/Open
2267paper.pdf558KbAdobe PDFView/Open

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

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)